infinity-identifier.rkt (68B)
1 #lang typed/racket/base 2 3 (provide ∞) 4 5 (define ∞ : +inf.0 +inf.0)
