{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"type"}]}
    type InternedGoals = Vec<Goal>;
    type InternedGoal = Arc<GoalData>;
    type InternedSubstitution = Interned<InternedWrapper<SmallVec<[GenericArg; 2]>>>;