ErlangEnvironment.UnqualifiedFunctionmodule T : sig ... endinclude sig ... endval comparator : (T.t, comparator_witness) Base__Comparator.comparatormodule Replace_polymorphic_compare : sig ... endmodule Map : sig ... endmodule Set : sig ... end