質問編集履歴
1
情報が足りなかった
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -50,25 +50,13 @@
|
|
|
50
50
|
|
|
51
51
|
let make_sum a1 a2 =
|
|
52
52
|
|
|
53
|
-
if a1 = Num 0 then a2
|
|
54
|
-
|
|
55
|
-
else if a2 = Num 0 then a1
|
|
56
|
-
|
|
57
|
-
|
|
53
|
+
Add (a1,a2);;
|
|
58
54
|
|
|
59
55
|
|
|
60
56
|
|
|
61
57
|
let make_product m1 m2 =
|
|
62
58
|
|
|
63
|
-
if m1 = Num 1 then m2
|
|
64
|
-
|
|
65
|
-
else if m1 = Num 0 then Num 0
|
|
66
|
-
|
|
67
|
-
else if m2 = Num 1 then m1
|
|
68
|
-
|
|
69
|
-
else if m2 = Num 0 then Num 0
|
|
70
|
-
|
|
71
|
-
|
|
59
|
+
Mul (m1,m2);;
|
|
72
60
|
|
|
73
61
|
|
|
74
62
|
|