Bool.ml
farith
1 2 3 4 5 6 # 1 "extracted/Bool.ml" (** val eqb : bool -> bool -> bool **) let eqb b1 b2 = if b1 then b2 else if b2 then false else true
1 2 3 4 5 6
# 1 "extracted/Bool.ml" (** val eqb : bool -> bool -> bool **) let eqb b1 b2 = if b1 then b2 else if b2 then false else true