Module Z3.Tuple

val mk_sort : context -> Symbol.symbol -> Symbol.symbol list -> Sort.sort list -> Sort.sort
val get_mk_decl : Sort.sort -> FuncDecl.func_decl
val get_num_fields : Sort.sort -> int
val get_field_decls : Sort.sort -> FuncDecl.func_decl list