Build.Tuple
val get_binary : size:int -> int -> tuple -> Transfer_functions.Term.binary t
val get_integer : int -> tuple -> Transfer_functions.Term.integer t
val get_boolean : int -> tuple -> Transfer_functions.Term.boolean t
val nondet :
level:int ->
conda_bool:Transfer_functions.Term.boolean t ->
a:tuple ->
condb_bool:Transfer_functions.Term.boolean t ->
b:tuple ->
tuple