{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// These are all interned (by `mk_adt_def`) into the global arena.
/// The initialism *ADT* stands for an [*algebraic data type (ADT)*][adt].