{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":")?"}]}
            )? {
                goal_kind,
                Some(tupled_inputs_and_output) => tupled_inputs_and_output,