Module Z3.Tuple

module Tuple: sig .. end

Functions to manipulate Tuple expressions

val mk_sort : context ->
       Symbol.symbol ->
       Symbol.symbol list -> Sort.sort list -> Sort.sort

Create a new tuple sort.

val get_mk_decl : Sort.sort -> FuncDecl.func_decl

The constructor function of the tuple.

val get_num_fields : Sort.sort -> int

The number of fields in the tuple.

val get_field_decls : Sort.sort -> FuncDecl.func_decl list

The field declarations.