Skip to main content

term_get_const_array_base

Function term_get_const_array_base 

Source
pub unsafe extern "C" fn term_get_const_array_base(term: Term) -> Term
Expand description

Determine the base (element stored at all indices) of a constant array. @note Requires that the term is a constant array (see isConstArray()). @param term The term. @return The base term.