{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
/// of constructors, see the top of the file.
/// Describes the set of all constructors for a type. For details, in particular about the emptiness
///