5 lines
34 B
Text
5 lines
34 B
Text
|
|
multiply(a,b)=
|
||
|
|
x = a*b
|
||
|
|
<= x
|
||
|
|
.
|