`include AbstractDomain.WithTop`
`include AbstractDomain.S`
`type astate`````
`val (<=) : lhs:astate ‑> rhs:astate ‑> bool`

the partial order induced by join

`val join : astate ‑> astate ‑> astate`
`val widen : prev:astate ‑> next:astate ‑> num_iters:int ‑> astate`
`val pp : InferModules.AbstractDomain.F.formatter ‑> astate ‑> unit`
`val top : astate`
`val zero : astate`
`val one : astate`
`val of_int_exn : int ‑> astate`
`val is_symbolic : astate ‑> bool`
`val is_top : astate ‑> bool`
`val plus : astate ‑> astate ‑> astate`
`val mult : astate ‑> astate ‑> astate`
`val min : astate ‑> astate ‑> astate`
`val subst : astate ‑> Bound.t AbstractDomain.Types.bottom_lifted SymbolMap.t ‑> astate`