Module 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
val mu : level:int -> init:tuple -> var:tuple -> body:tuple -> body_cond:Transfer_functions.Term.boolean t -> tuple