sign-0.4.4: Arithmetic over signs and sets of signs

Index

absData.Sign
divData.Sign
multData.Sign
NegData.Sign
negateData.Sign
PosData.Sign
powData.Sign
recipData.Sign
SignData.Sign
signOfData.Sign
symbolData.Sign
ZeroData.Sign