public class Int extends Term<Int>
Int(java.lang.Integer i)
Int
marshal()
<Z> Z
toJava()
java.lang.String
toString()
fromJava, unmarshal
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Int(java.lang.Integer i)
public <Z> Z toJava()
toJava
Term<Int>
public Int marshal()
marshal
public java.lang.String toString()
toString
java.lang.Object