`type t````=`

`|` `AllocSize of AllocSizeCondition.t`
`|` `ArrayAccess of ArrayAccessCondition.t`

``
`val make_alloc_size : AllocSizeCondition.t InferStdlib.IStd.Option.t ‑> t InferStdlib.IStd.Option.t`
`val make_array_access : ArrayAccessCondition.t InferStdlib.IStd.Option.t ‑> t InferStdlib.IStd.Option.t`
`val get_symbols : t ‑> InferModules__Itv.Symbol.t Base__List.t`
`val subst : Itv.Bound.t AbstractDomain.Types.bottom_lifted InferModules.Itv.SymbolMap.t ‑> t ‑> t InferStdlib.IStd.Option.t`
`val have_similar_bounds : t ‑> t ‑> bool`
`val has_infty : t ‑> bool`
`val xcompare : lhs:t ‑> rhs:t ‑> [> `Equal | `LeftSubsumesRight | `NotComparable | `RightSubsumesLeft ]`
`val pp : F.formatter ‑> t ‑> unit`
`val pp_description : F.formatter ‑> t ‑> unit`
`val check : t ‑> checked_condition`