Module `Renderer.Heterogeneous_dict`Source

Sourcemodule Type : sig ... end

Sourcemodule M : sig ... end

Sourcetype 'a key = 'a Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t

Sourcetype binding =

| B : 'a Odoc_markdown.Renderer.Heterogeneous_dict.key * 'a -> Odoc_markdown.Renderer.Heterogeneous_dict.binding

type t =
  Odoc_markdown.Renderer.Heterogeneous_dict.binding
    Odoc_markdown.Renderer.Heterogeneous_dict.M.t

Sourceval key : unit -> 'a Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t

Sourceval empty : 'a Odoc_markdown.Renderer.Heterogeneous_dict.M.t

Source

val mem : 
  'a Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t ->
  'b Odoc_markdown.Renderer.Heterogeneous_dict.M.t ->
  bool

Source

val add : 
  'a Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t ->
  'a ->
  Odoc_markdown.Renderer.Heterogeneous_dict.binding
    Odoc_markdown.Renderer.Heterogeneous_dict.M.t ->
  Odoc_markdown.Renderer.Heterogeneous_dict.binding
    Odoc_markdown.Renderer.Heterogeneous_dict.M.t

Source

val tag : 
  unit Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t ->
  Odoc_markdown.Renderer.Heterogeneous_dict.binding
    Odoc_markdown.Renderer.Heterogeneous_dict.M.t ->
  Odoc_markdown.Renderer.Heterogeneous_dict.binding
    Odoc_markdown.Renderer.Heterogeneous_dict.M.t

Source

val remove : 
  'a Odoc_markdown.Renderer.Heterogeneous_dict.Type.Id.t ->
  'b Odoc_markdown.Renderer.Heterogeneous_dict.M.t ->
  'b Odoc_markdown.Renderer.Heterogeneous_dict.M.t

Source

val find : 
  'a. 'a Odoc_markdown.Renderer.Heterogeneous_dict.key ->
  Odoc_markdown.Renderer.Heterogeneous_dict.t ->
  'a option

Module Renderer.Heterogeneous_dictSource

Module `Renderer.Heterogeneous_dict`Source