hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CASL.Logic_CASL
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
Here is the place where the class Logic is instantiated for CASL. Also the instances for Syntax an Category.
Synopsis
data
CASL
=
CASL
Produced by
Haddock
version 0.6