Module Build.Boolean

val empty : Operator.Function_symbol.boolean t

val bunion : Operator.Function_symbol.boolean t -> Operator.Function_symbol.boolean t -> Operator.Function_symbol.boolean t

val unknown : level:int -> Operator.Function_symbol.boolean t

include Operator.BOOLEAN_FORWARD with module Arity := Operator.Forward_Arity and type boolean = Operator.Function_symbol.boolean t

type boolean = Operator.Function_symbol.boolean t

val not : (boolean, boolean) Operator.Forward_Arity.ar1

val (&&) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2

val (||) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2

val true_ : boolean Operator.Forward_Arity.ar0

val false_ : boolean Operator.Forward_Arity.ar0