Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2002-2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

HasCASL.RawSym

Description

raw symbols bridge symb items and the symbols of a signature

Documentation

statSymbMapItems :: Env -> [SymbMapItems] -> Result RawSymbolMap

symbOrMapToRaw :: Env -> SymbKind -> SymbOrMap -> Result (RawSymbol, RawSymbol)

statSymbItems :: Env -> [SymbItems] -> Result [RawSymbol]

symbToRaw :: Maybe Env -> SymbKind -> Symb -> Result RawSymbol

matchSymb :: Symbol -> RawSymbol -> Bool