module Make_Narrow: functor (X : siginclude Lattice_type.With_Top include Lattice_type.With_Narrow val bottom_is_strict : boolend) -> sig .. end
functor (
X
:
sig
include Lattice_type.With_Top
include Lattice_type.With_Narrow
val bottom_is_strict : bool
bool
end) -> sig .. end
end
) ->
sig include Lattice_type.With_Top with type t := v include Lattice_type.With_Narrow with type t := v val bottom_is_strict: bool end
val narrow : t -> t -> t
t -> t -> t