tests/lean/714.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            def test {α : Type} [LT α] := List α


            #check test