Key (imandrakit.Imandrakit

type 'a t

Key to get/set errors of type 'a. Generative.

val make : 
  field_name:string ->
  enc:'a Twine.encoder ->
  dec:'a Twine.decoder ->
  pp:'a Imandrakit_common.Fmt.printer ->
  unit ->
  'a t

Generate a new key. Each call will produce a new distinct key.

type any =

val find : string -> any option

val pp : 'a t -> 'a Imandrakit_common.Fmt.printer