module type With_Errors = sig .. end
sig
end
include Lattice_type.With_Error_Top
include Lattice_type.With_Error_Bottom