Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
symmetric_relation :: (Ix b, MonadSAT m) => ((b, b), (b, b)) -> m (Relation b b) Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
symmetric_relation :: (Ix b, MonadSAT m) => ((b, b), (b, b)) -> m (Relation b b) Source