hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.SymbolMapAnalysis
Portability non-portable (imports Morphsim)
Stability provisional
Maintainer hets@tzi.de
Description
The symbol map analysis for the HasCASL logic (adapted from CASL version r1.8 of 24.1.2004)
Synopsis
inducedFromMorphism :: RawSymbolMap -> Env -> Result Morphism
inducedFromToMorphism :: RawSymbolMap -> Env -> Env -> Result Morphism
cogeneratedSign :: SymbolSet -> Env -> Result Morphism
Produced by Haddock version 0.6