Up – Package index » checked_oint » Library checked_oint.guard-off » Checked_oint_guard

Module `Checked_oint_guard`Source

Sourcetype 'a t

Sourceval wrap : 'a -> 'a t

Sourceval unwrap : 'a t -> 'a