Module type Map_lattice.Value

module type Value = sig .. end

include Datatype.S
val top : t
val bottom : t