Module T_unforcing

This type offers a serialization function sexp_of_t that won't force its argument. Instead, it will serialize the 'a if it is available, or just use a custom string indicating is not forced. Note that this is not a round-trippable type, thus the type does not expose of_sexp. To be used in debug code for example, or while tracking an Heisenbug, etc.


type 'a t = 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t