Skip to main content

collect_list

Function collect_list 

Source
pub fn collect_list(term: &Term, interner: &StringInterner) -> Option<Vec<Term>>
Expand description

Collect list elements from a term. Returns None if not a proper list.