Language.REST.OCToAbstract
showHash :: Show a => a -> String Source #
lift :: forall impl base lifted m. (ToSMTVar base Int, Ord base, Eq base, Hashable base, Show lifted, Show base, Show (impl base)) => WQOConstraints impl m -> ConstraintGen impl base lifted Identity -> OCAlgebra (impl base) lifted m Source #