Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/replace/./tests/lean/bigUnivOffsets.lean
blob: 1cb12dc39230d70bbf4c8ca63ca78e9a121a6baf [file] [edit]
#check Type 100000000
universe u
#check Type (u + 10000000)