{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"inputs_and_output:"}]}
        inputs_and_output: chalk_ir::Binders::empty(
        // Note: Chalk doesn't actually use this information yet as far as I am aware, but we provide it anyway
            Interner,