Hets - the Heterogeneous Tool Set
SoftFOL.Morphism
Description
Functions for symbols of SoftFOL.
symOf :: Sign -> Set SFSymbol
symbolToId :: SFSymbol -> Id