Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
symmetric_relation :: (HasSAT s, MonadState s m, Ix b) => ((b, b), (b, b)) -> m (Relation b b) Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
symmetric_relation :: (HasSAT s, MonadState s m, Ix b) => ((b, b), (b, b)) -> m (Relation b b) Source #