module Bound_Lattice: functor (Lattice : Lattice_type.Join_Semi_Lattice) -> Lattice_type.Bounded_Join_Semi_Lattice with type t = Lattice.t or_bottom
functor (
Lattice
:
Lattice_type.Join_Semi_Lattice
) ->
Lattice_type.Bounded_Join_Semi_Lattice
with type t = Lattice.t or_bottom
include Lattice_type.Join_Semi_Lattice
val bottom : t
t