{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// The initialism *ADT* stands for an [*algebraic data type (ADT)*][adt].
///
/// This is slightly wrong because `union`s are not ADTs.