Module Bin_ser.Key

type ('st, 'a) t

Key to access objects of type 'a obtained from side definitions, with a decoder that takes state 'st

type univ = private ..
val cast : (_'a) t -> univ -> 'a option
val wrap : (_'a) t -> 'a -> univ
val create : descr:string -> tbl:(module CCHashtbl.S with type key = 'a) -> pp:'a Fmt.printer -> unit -> ('st'a) t

Create a new key. Generative.