twee-lib-2.4.2: An equational theorem prover
Safe HaskellSafe-Inferred
LanguageHaskell2010

Twee.Profile

Documentation

stamp :: symbol -> a -> a Source #

stampWith :: symbol -> (a -> b) -> a -> a Source #

stampM :: MonadIO m => symbol -> m a -> m a Source #