7.5 The Store structure
isStandardStore
Function
- Signature:
-
val isStandardStore : store -> bool
- Description:
- This predicate determines if the store is considered to be standard. A store is standard when the allocation policy is not
ORIGIN or if the overflow policy is not RECYCLE.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker