Source file checked_oint_guard.ml

1
2
3
4
5
type 'a t = Obj.t * 'a

let wrap x = Obj.new_block Obj.abstract_tag 1, x

let unwrap (_guard, x) = x