Module Checked_oint_guard

type 'a t
val wrap : 'a -> 'a t
val unwrap : 'a t -> 'a