bool
General_script_def::equal_b (General_script_def const&g) const
{
- if (name() != g.name ())
- return false;
-
return do_equal_b (&g);
}
void
General_script_def::print() const
{
- DOUT << name() << "{";
+ DOUT << classname(this) << "{";
do_print();
DOUT << "}";
}
return Atom (s);
}
-IMPLEMENT_IS_TYPE_B(General_script_def);
+
Interval