Skip to main content

cvc5_term_is_const_array

cvc5_sys

Function cvc5_term_is_const_array 

Source 
pub unsafe extern "C" fn cvc5_term_is_const_array(
    term: Cvc5Term,
) -> bool
Expand description

Determine if a given term is a constant array. @param term The term. @return True if the term is a constant array.