sig type pomap val fprintf : Format.formatter -> Display_hasse_intf.DISPLAY_HASSE.pomap -> unit val printf : Display_hasse_intf.DISPLAY_HASSE.pomap -> unit end