MakeFinite.X
type t
type strategy
val default_strategy : strategy array
val bot : t
val leq : t -> t -> bool
val join : t -> t -> t
val widen_gen : strategy array -> int -> t -> t -> t
val widen : int -> t -> t -> t
val meet : t -> t -> t
val pp : Stdlib.Format.formatter -> t -> unit