Ejemplo n.º 1
0
bool EmptySeqType::contains(Term &t)
{
  return t.is_empty_seq();
}