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