module As_univ: sig .. end

type t 

The type for universal values.

val create : unit -> ('a -> t) * (t -> 'a option)

create () returns a function to inject and a function to project a value from a given type in to/from a universal value.