Module Renderer.Heterogeneous_dictSource

Sourcemodule Type : sig ... end
Sourcemodule M : sig ... end
Sourcetype 'a key = 'a Type.Id.t
Sourcetype binding =
  1. | B : 'a key * 'a -> binding
Sourceval key : unit -> 'a Type.Id.t
Sourceval empty : 'a M.t
Sourceval mem : 'a Type.Id.t -> 'b M.t -> bool
Sourceval add : 'a Type.Id.t -> 'a -> binding M.t -> binding M.t
Sourceval tag : unit Type.Id.t -> binding M.t -> binding M.t
Sourceval remove : 'a Type.Id.t -> 'b M.t -> 'b M.t
Sourceval find : 'a. 'a key -> t -> 'a option