Agda-2.5.1: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Substitute.Pattern
fromPatternSubstitution :: PatternSubstitution -> Substitution Source
applyPatSubst :: Subst Term a => PatternSubstitution -> a -> a Source