Skip to main content

term_get_kind

Function term_get_kind 

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

Get the kind of a given term. @param term The term. @return The kind of the term.