Generic construction

stp_term stp_mk_term(stp_tm, stp_kind, size_t n, const stp_term *args)

indices in SMT-LIB order; result_sort is required for CONST_ARRAY and ignored otherwise args may be NULL when n == 0

stp_term stp_mk_term_indexed(stp_tm, stp_kind, size_t n, const stp_term *args, size_t m, const uint32_t *idx)

stp_term stp_mk_term_sorted(stp_tm, stp_kind, size_t n, const stp_term *args, size_t m, const uint32_t *idx, stp_sort result)

stp_term stp_mk_term1(stp_tm, stp_kind, stp_term)

stp_term stp_mk_term2(stp_tm, stp_kind, stp_term, stp_term)

stp_term stp_mk_term3(stp_tm, stp_kind, stp_term, stp_term, stp_term)

stp_term stp_mk_term1_indexed1(stp_tm, stp_kind, stp_term, uint32_t)

stp_term stp_mk_term1_indexed2(stp_tm, stp_kind, stp_term, uint32_t, uint32_t)

stp_term stp_mk_term2_indexed1(stp_tm, stp_kind, stp_term, stp_term, uint32_t)

stp_term stp_mk_term2_indexed2(stp_tm, stp_kind, stp_term, stp_term, uint32_t, uint32_t)