{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"int_unification_storage:"}]}
    int_unification_storage: ut::UnificationTableStorage<ty::IntVid>,
    /// Map from integral variable to the kind of integer it represents.