Term transformation helper function#781

gabrielhdt wants to merge 2 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom

gabrielhdt:meta_embryogabrielhdt/lambdapi:meta_embryoCopy head branch name to clipboard