Cloneable
Phi
Term
public final class EOstring extends PhDefault
Φ
EOstring(Phi sigma)
add, attr, attr, copy, copy, toString, φTerm
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public EOstring(Phi sigma)