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

type TermList = Vec<Term>;