Up

Module Make (Key : sig .. end) : S with type key := Key.t and type comparator_witness := Key.comparator_witness

Parameters

Key : sig .. end

Signature

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