Module type Lattice_type.With_Errors

module type With_Errors = sig .. end

include Lattice_type.With_Error_Top
include Lattice_type.With_Error_Bottom