package conan

  1. Overview
  2. Docs
module Tid : sig ... end
module type Tid = sig ... end
type 'a tid = (module Tid with type t = 'a)
val tid : unit -> (module Tid with type t = 's)
val refl : 'a 'b. 'a tid -> 'b tid -> ('a, 'b) refl option
module Key : sig ... end
type 'a key = 'a Key.key
module Map : sig ... end
type binding =
  1. | B : 'a key * (?padding:[ `Left of int | `Right of int | `Zero of int ] -> ?precision:int -> formatter -> 'a -> unit) -> binding
type t = binding Map.t
val empty : 'a Map.t
val add : 'a key -> (?padding:[ `Left of int | `Right of int | `Zero of int ] -> ?precision:int -> formatter -> 'a -> unit) -> binding Map.t -> binding Map.t
val find : 'a. 'a key -> t -> (?padding:[ `Left of int | `Right of int | `Zero of int ] -> ?precision:int -> Format.formatter -> 'a -> unit) option
val get : 'a key -> t -> ?padding:[ `Left of int | `Right of int | `Zero of int ] -> ?precision:int -> Format.formatter -> 'a -> unit