3.4.9 Profile structure values

large_size

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.

Generated with Harlequin WebMaker