hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CASL.OpItem
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
Synopsis
opItem
::
AParser
OP_ITEM
predItem
::
AParser
PRED_ITEM
Produced by
Haddock
version 0.6