8 lines
88 B
Coq
8 lines
88 B
Coq
|
|
fn multiply(a f64, b f64) f64 {
|
||
|
|
return a * b
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
print(multiply(5, 6))
|
||
|
|
}
|