Module Build.Tuple

val get_binary : size:Units.In_bits.t -> int -> tuple -> Operator.Function_symbol.binary t

val get_integer : int -> tuple -> Operator.Function_symbol.integer t

val get_boolean : int -> tuple -> Operator.Function_symbol.boolean t

val get_enum : int -> tuple -> Operator.Function_symbol.enum t

val nondet : level:int -> conda_bool:Operator.Function_symbol.boolean t -> a:tuple -> condb_bool:Operator.Function_symbol.boolean t -> b:tuple -> tuple

val inductive_vars : widening_id:int -> level:int -> def:tuple -> tuple

val mu : level:int -> init:tuple -> var:tuple -> body:tuple -> body_cond:Operator.Function_symbol.boolean t -> tuple