1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17

type t = bool

let false_ = false

let true_ = true

let of_concrete c = c

let not = not

let and_ = ( && )

let or_ = ( || )

let to_i32 = function false -> 0l | true -> 1l

let pp = Fmt.bool