Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type Symbolic a = (FromConstant I a, FiniteField a, BinaryExpansion a, Eq (Bool a) a, Ord (Bool a) a, Conditional (Bool a) a) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
type Symbolic a = (FromConstant I a, FiniteField a, BinaryExpansion a, Eq (Bool a) a, Ord (Bool a) a, Conditional (Bool a) a) Source #