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