 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
ReadFn | Portability | non-portable(DevGraph) | Stability | provisional | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
reading ATerms, CASL, HetCASL files and parsing them into an
appropiate data structure
|
|
Synopsis |
|
|
|
|
Produced by Haddock version 0.6 |