module type With_default = sig .. end
sig
end
include Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Top
val default : Base.t -> Abstract_interp.Int.t -> Abstract_interp.Int.t -> t
Base.t -> Abstract_interp.Int.t -> Abstract_interp.Int.t -> t
val defaultall : Base.t -> t
Base.t -> t