`type t``= ItvPure.astate```
`val get_symbols : ItvPure.t ‑> InferModules__Itv.Symbol.t list`
`val pp : F.formatter ‑> ItvPure.t ‑> unit`
`val pp_description : F.formatter ‑> ItvPure.t ‑> unit`
`val make : length:ItvPure.t ‑> ItvPure.t option`
`val have_similar_bounds : ItvPure.t ‑> ItvPure.t ‑> bool`
`val xcompare : lhs:ItvPure.t ‑> rhs:ItvPure.t ‑> [> `Equal | `LeftSubsumesRight | `NotComparable | `RightSubsumesLeft ]`
`val itv_big : ItvPure.t`
`val check : ItvPure.t ‑> checked_condition`
`val subst : InferModules__Itv.Bound.t AbstractDomain.Types.bottom_lifted InferModules__Itv.SymbolMap.t ‑> ItvPure.t ‑> ItvPure.t option`