Math.Combinat.Sign

data Sign

signValue

paritySign

oppositeSign

mulSign

productOfSigns