Idris.Transforms

transformPats

transformPatsWith

applyTransRulesWith

applyTransRules