next up previous
Next: Odinfile Up: Specification Files Previous: straight.HEAD.phi

straight.specs

A type-specs file lists Eli library modules needed to support the specification.

straight.specs[55] :

Include appropriate library modules[42]
This macro is attached to a product file.



William Waite
1998-08-30