package checked_oint

  1. Overview
  2. Docs

Module Checked_oint_guardSource

Sourcetype 'a t
Sourceval wrap : 'a -> 'a t
Sourceval unwrap : 'a t -> 'a