Build.Boolean
val empty : Transfer_functions.Term.boolean t
val bunion :
Transfer_functions.Term.boolean t ->
Transfer_functions.Term.boolean t ->
Transfer_functions.Term.boolean t
val unknown : level:int -> Transfer_functions.Term.boolean t
include Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean = Transfer_functions.Term.boolean t
type boolean = Transfer_functions.Term.boolean t
val not : (boolean, boolean) Transfer_functions.Forward_Arity.ar1
val (&&) : (boolean, boolean, boolean) Transfer_functions.Forward_Arity.ar2
val (||) : (boolean, boolean, boolean) Transfer_functions.Forward_Arity.ar2
val true_ : boolean Transfer_functions.Forward_Arity.ar0
val false_ : boolean Transfer_functions.Forward_Arity.ar0