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


            
            f a b

            
            hash: 2008687407

            
            #[a, b]