Type Alias polar_core::terms::TermList

source ·
pub type TermList = Vec<Term>;

Aliased Type§

struct TermList { /* private fields */ }