PRTools contents
PRTools manual
getsize_out
GETSIZE_OUT
Get size_out field of mapping
SIZE_OUT = GETSIZE_OUT(W)
PRTools contents
PRTools manual