module Tuple:sig
..end
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