10 lines
274 B
Coq
10 lines
274 B
Coq
|
import math
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
mut x := 1.5 // type of x determined by literal
|
||
|
|
// that this compiles demonstrates that PosInf returns same type as x,
|
||
|
|
// the type specified by the task.
|
||
|
|
x = math.inf(1)
|
||
|
|
println('$x ${math.is_inf(x, 1)}') // demonstrate result
|
||
|
|
}
|