SPARK Documentation
Module Name: SPARK (
spark.util
.persistence)
Organization(s): SRI International
Generated On: 02 Aug 2006 11:37AM
SPARK documentation
>
SPARKDOC
>
spark.util
.persistence
Listing for module spark.util.persistence
This is auto-generated documentation.
Contents:
Actions
Actions
save_predicates
$modname $predicate_symbols
Save the list of predicates as a SPARK-loadable module. Any pre-existing module will be overwritten. Authors must also make sure that the predicates are exported symbols.