7.5 The Store structure

store

Signature:

val store :
{ alloc : alloc_policy,
overflow : overflow_policy,
status : store_status,
size : int
} -> store

Description:

This function generates fresh stores. The initial size, allocation policy, overflow policy, and initial store status can be supplied.

The store_status may be modified using the setStoreStatus function (see page 208), and the store's size may be explicitly increased (when possible) using the expand function (see page 212). The other store attributes cannot be modified dynamically.

Generated with Harlequin WebMaker