Source file Bool.ml

# 1 "extracted/Bool.ml"

(** val eqb : bool -> bool -> bool **)

let eqb b1 b2 =
  if b1 then b2 else if b2 then false else true