type t = Absint__AbstractDomain.Flat(ExpClosure).t
val bottom : tval is_bottom : t -> boolval pp : IStdlib.PrettyPrintable.F.formatter -> t -> unitval leq : lhs:t -> rhs:t -> boolval join : t -> t -> tval widen : prev:t -> next:t -> num_iters:int -> tval top : tval is_top : t -> boolval v : ExpClosure.t -> tval get : t -> ExpClosure.t option