extracted/utilBranch.mli

   1 open Preamble
   2
   3 open Div_and_mod
   4
   5 open Jmeq
   6
   7 open Russell
   8
   9 open Bool
  10
  11 open Relations
  12
  13 open Nat
  14
  15 open Hints_declaration
  16
  17 open Core_notation
  18
  19 open Pts
  20
  21 open Logic
  22
  23 open Types
  24
  25 open List
  26
  27 open Util
  28
  29 open Exp
  30
  31 open Setoids
  32
  33 open Monad
  34
  35 open Option
  36
  37 open Extranat
  38
  39 open Vector
  40
  41 open FoldStuff
  42
  43 open BitVector
  44
  45 open Arithmetic
  46
  47 val nat_of_bool : Bool.bool -> Nat.nat
  48