3.4.9 Profile structure values
large_size
Type
Summary
A type for conveniently representing large space counts.
Signature
MLWORKS.Profile
Structure
MLWorks.Profile
Type
datatype large_size = Large_Size of {megabytes : int, bytes : int}
Description
The large_size type provides a convenient representation for large space counts.