Skip to main content

term_get_sort

Function term_get_sort 

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

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