Module type Lattice_type.With_Error_Top

module type With_Error_Top = sig .. end

exception Error_Top