{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<Vec<Goal<Self::Interner, <Self::Interner as Interner>::Predicate>>>;
        term: <Self::Interner as Interner>::Term,