Skip to main content

cvc5_mk_empty_sequence

cvc5_sys

Function cvc5_mk_empty_sequence 

Source 
pub unsafe extern "C" fn cvc5_mk_empty_sequence(
    tm: *mut Cvc5TermManager,
    sort: Cvc5Sort,
) -> Cvc5Term
Expand description

Create an empty sequence of the given element sort. @param tm The term manager instance. @param sort The element sort of the sequence. @return The empty sequence with given element sort.