extracted/option.mli

   1 open Preamble
   2
   3 open Hints_declaration
   4
   5 open Core_notation
   6
   7 open Pts
   8
   9 open Logic
  10
  11 open Types
  12
  13 open Jmeq
  14
  15 open Russell
  16
  17 open Bool
  18
  19 open Nat
  20
  21 open List
  22
  23 open Setoids
  24
  25 open Relations
  26
  27 open Monad
  28
  29 val option : Monad.monadProps
  30
  31 val opt_safe : 'a1 Types.option -> 'a1
  32
  33 val opt_try_catch : 'a1 Types.option -> (Types.unit0 -> 'a1) -> 'a1
  34
  35 val optPred : Monad.injMonadPred
  36