Function polar_core::terms::has_rest_var
source · pub fn has_rest_var(list: &TermList) -> bool
Expand description
Return true if the list ends with a rest-variable.
pub fn has_rest_var(list: &TermList) -> bool
Return true if the list ends with a rest-variable.