Phi
Term
public final class PhWith extends PhOnce
Phi.Compact
Φ
PhWith(Phi phi, int pos, Phi attr)
PhWith(Phi phi, String name, Phi attr)
attr, attr, copy, toString, φTerm
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public PhWith(Phi phi, String name, Phi attr)
phi
name
attr
public PhWith(Phi phi, int pos, Phi attr)
pos