public class OracleType extends Object implements OracleTerm
private Sort
s
OracleType(Sort s)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
private Sort s
public OracleType(Sort s)
public String toString()
toString
Object