Module `Glue.InjectMinimalImperativeMaps`

Parameters

module M : sig ... end

module I : sig ... end

Signature

type key = I.t

type 'data t

val create : unit -> 'data t

val add : key -> 'data -> 'data t -> unit

val find : key -> 'data t -> 'data