Function polar_core::terms::has_rest_var[−][src]

pub fn has_rest_var(list: &TermList) -> bool
Expand description

Return true if the list ends with a rest-variable.