module Cf_ordered: sig .. end
sig
end
Cf_rbtree
Cf_sbheap
module type Total_T = sig .. end
t
module Int_order: Total_T with type t = int
Total_T
with type t = int