{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"check_type_wf:"}]}
        check_type_wf: wfcheck::check_type_wf,
        check_coroutine_obligations: check::check_coroutine_obligations,
        check_well_formed: wfcheck::check_well_formed,