Module type Lattice_type.With_Error_Bottom

module type With_Error_Bottom = sig .. end

exception Error_Bottom