Module Build.Boolean

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