module type With_default = sig .. end
sig
end
include Abstract_interp.Lattice
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