Type Definition polar_core::terms::TermList[][src]

pub type TermList = Vec<Term>;