syntax_data: {"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub trait HasTop {
context_before: /// A set that has a "top" element, which is greater than or equal to any other element.
context_after:     const TOP: Self;