Source file `utilsextstdBool.ml`

1
2
3
4
5
6
7
8
9
10
let andb' (x: bool) (y: bool) : bool =
  match x with
  | true -> y
  | false -> false

let eqb (x: bool) (y: bool) : bool =
  match (x, y) with
  | ((true, true) | (false, false)) -> true
  | _ -> false