{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"external_constraints:"}]}
    external_constraints: pub mk_external_constraints(ExternalConstraintsData<TyCtxt<'tcx>>):
    adt_def: pub mk_adt_def_from_data(AdtDefData): AdtDef -> AdtDef<'tcx>,
        ExternalConstraints -> ExternalConstraints<'tcx>,