{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"InternedWrapper<Vec<CanonicalVarKind>>,"}]}
    InternedWrapper<Vec<CanonicalVarKind>>,
    InternedWrapper<ConstScalar>,
    InternedWrapper<Box<[ProgramClause]>>,