sig   type t = bool   external not : bool -> bool = "%boolnot"   external ( && ) : bool -> bool -> bool = "%sequand"   external ( || ) : bool -> bool -> bool = "%sequor"   val zero : bool   val one : bool   val neg : bool -> bool   val succ : bool -> bool   val pred : bool -> bool   val abs : bool -> bool   val add : bool -> bool -> bool   val mul : bool -> bool -> bool   val sub : bool -> bool -> bool   val div : BatBool.t -> BatBool.t -> BatBool.t   val modulo : BatBool.t -> BatBool.t -> BatBool.t   val pow : BatBool.t -> BatBool.t -> BatBool.t   val min_num : bool   val max_num : bool   val compare : bool -> bool -> int   val equal : bool -> bool -> bool   val ord : bool -> bool -> BatOrd.order   val of_int : int -> bool   val to_int : bool -> int   val of_string : string -> bool   val to_string : bool -> string   val of_float : float -> bool   val to_float : bool -> float   val ( + ) : BatBool.t -> BatBool.t -> BatBool.t   val ( - ) : BatBool.t -> BatBool.t -> BatBool.t   val ( * ) : BatBool.t -> BatBool.t -> BatBool.t   val ( / ) : BatBool.t -> BatBool.t -> BatBool.t   val ( ** ) : BatBool.t -> BatBool.t -> BatBool.t   val ( -- ) : BatBool.t -> BatBool.t -> BatBool.t BatEnum.t   val ( --- ) : BatBool.t -> BatBool.t -> BatBool.t BatEnum.t   val operations : BatBool.t BatNumber.numeric   module Infix :     sig       type bat__infix_t = t       val ( + ) : bat__infix_t -> bat__infix_t -> bat__infix_t       val ( - ) : bat__infix_t -> bat__infix_t -> bat__infix_t       val ( * ) : bat__infix_t -> bat__infix_t -> bat__infix_t       val ( / ) : bat__infix_t -> bat__infix_t -> bat__infix_t       val ( ** ) : bat__infix_t -> bat__infix_t -> bat__infix_t       val ( -- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t       val ( --- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t     end   module Compare :     sig       type bat__compare_t = t       val ( <> ) : bat__compare_t -> bat__compare_t -> bool       val ( >= ) : bat__compare_t -> bat__compare_t -> bool       val ( <= ) : bat__compare_t -> bat__compare_t -> bool       val ( > ) : bat__compare_t -> bat__compare_t -> bool       val ( < ) : bat__compare_t -> bat__compare_t -> bool       val ( = ) : bat__compare_t -> bat__compare_t -> bool     end   val print : 'BatInnerIO.output -> BatBool.t -> unit end