tests/lean/matchPatternPartialApp.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            | Function.comp id

            
            | fun g x => g x