module type S = sig .. end
sig
end
type key
type comparator_witness
module Map: sig .. end
module Set: sig .. end