Data.SBV.Examples.Uninterpreted.Shannon
type Ternary
type Binary
pos
neg
shannon
shannon2
derivative
noWiggle
universal
univOK
existential
existsOK