Build.Booleanval empty : Operator.Function_symbol.boolean tval unknown : level:int -> Operator.Function_symbol.boolean ttype boolean = Operator.Function_symbol.boolean tval not : (boolean, boolean) Operator.Forward_Arity.ar1val (&&) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2val (||) : (boolean, boolean, boolean) Operator.Forward_Arity.ar2val true_ : boolean Operator.Forward_Arity.ar0val false_ : boolean Operator.Forward_Arity.ar0