Agda.TypeChecking.Substitute.Pattern

fromPatternSubstitution

applyPatSubst