HyLo.Signature

data Signature n p r

emptySignature

buildSignature

addNomToSig

delNomFromSig

addPropToSig

delPropFromSig

addRelToSig

delRelFromSig

isNomInSig

isPropInSig

isRelInSig

merge

commonSig

relSymbols

propSymbols

nomSymbols

isSubsignatureOf

class HasSignature a