Skip to main content

cvc5_mk_nullable_sort

cvc5_sys

Function cvc5_mk_nullable_sort 

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

Create a nullable sort. @param tm The term manager instance. @param sort The sort of the element of the nullable. @return The nullable sort.