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