package checked_oint

  1. Overview
  2. Docs

Source file checked_oint_guard.ml

1
2
3
4
5
type 'a t = 'a

external wrap : 'a -> 'a t = "%identity"

external unwrap : 'a t -> 'a = "%identity"