source: extracted/utilBranch.ml @ 2716

Last change on this file since 2716 was 2649, checked in by sacerdot, 7 years ago

...

File size: 398 bytes
Line 
1open Preamble
2
3open Div_and_mod
4
5open Jmeq
6
7open Russell
8
9open Bool
10
11open Relations
12
13open Nat
14
15open Hints_declaration
16
17open Core_notation
18
19open Pts
20
21open Logic
22
23open Types
24
25open List
26
27open Util
28
29open Extranat
30
31open Vector
32
33open FoldStuff
34
35open BitVector
36
37open Arithmetic
38
39(** val nat_of_bool0 : Bool.bool -> Nat.nat **)
40let nat_of_bool0 = function
41| Bool.True -> Nat.S Nat.O
42| Bool.False -> Nat.O
43
Note: See TracBrowser for help on using the repository browser.