{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"type"}]}
    type InternedSubstitution = Interned<InternedWrapper<SmallVec<[GenericArg; 2]>>>;
    type InternedGoals = Vec<Goal>;
    type InternedProgramClauses = Interned<InternedWrapper<Box<[ProgramClause]>>>;