Function cvc5_mk_sequence_sort

pub unsafe extern "C" fn cvc5_mk_sequence_sort(
    tm: *mut Cvc5TermManager,
    sort: Cvc5Sort,
) -> Cvc5Sort

Expand description

Create a sequence sort. @param tm The term manager instance. @param sort The sort of the sequence elements. @return The sequence sort.

cvc5_mk_sequence_sort