Module LogtkPartialOrder_intf (.ml)

module LogtkPartialOrder_intf: sig .. end
Elements that can be compared

module type S = sig .. end