Hets - the Heterogeneous Tool Set

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

HasCASL.Symbol

Contents

Description

HasCASL analysed symbols of a signature

Synopsis

Documentation

subSyms :: Type -> SymbolSet Source #

type ids within a type

Orphan instances