WFFS : MODULE

WFFS is a module.

It is loaded.
Defines wffs and some operations on them.

NEEDED-MODULES BARE

MACRO-FILES WFFMACROS WFFTYP FLAVORING WFFTST WFFCAT WFFMODES WFFREC

FILES WFFPRIM WFFMVE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage