Module type Map_intf.For_deriving_stableSource
module type Stable_witness_m = sig ... endval stable_witness_m__t :
(module Stable_witness_m with type comparator_witness = 'cmp and type t = 'k) ->
'v Stable_witness.t ->
('k, 'v, 'cmp) t Stable_witness.t