checked_oint_guard.ml
checked_oint
checked_oint.guard
checked_oint.guard-off
checked_oint.guard-on
1 2 3 4 5 type 'a t = 'a external wrap : 'a -> 'a t = "%identity" external unwrap : 'a t -> 'a = "%identity"
1 2 3 4 5
type 'a t = 'a external wrap : 'a -> 'a t = "%identity" external unwrap : 'a t -> 'a = "%identity"