conan 0.0.2 · OCaml Package

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 =

| 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