module Display_hasse_intf: sig .. end
sig
end
module type DEFAULT_SPEC = sig .. end
module type SPEC = sig .. end
module type DISPLAY_HASSE = sig .. end