public static class UMod.T_opt extends UMod.TypeConstructed
from
javaDecl, javaImpl
location
T_opt(UMod.Type f)
get_from
get_location, set_location
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public T_opt(UMod.Type f)
see also the complete user documentation .