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

type t = bool

let to_bool b = b

let false_ = false

let true_ = true

let of_concrete c = c [@@inline]

let not = not

let and_ = ( && )

let or_ = ( || )

let pp = Fmt.bool