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