OCAML：嵌套递归

开始学习OCAML。
假设我们有一个检查函数：

let check x y = if (y mod x) = 0 then true else false;;

---

然后，对于任何给定的耦合AB，我想迭代找到满足以下条件的耦合Ij：1

gf x 1 && gs x 1

---

&&

运算符在左右两侧获取一个布尔值，并返回一个布尔值。但是您的

gf

和

gs

函数都返回一对整数。编译器告诉您有一对int（

int*int

），但您需要一个布尔值（作为

&

运算符的操作数）。

此表达式中存在问题：

gf x 1 && gs x 1

&&

运算符在左右两侧获取一个布尔值，并返回一个布尔值。但是您的

gf

和

gs

函数都返回一对整数。编译器告诉您有一对int（

int*int

），但需要一个布尔值（作为

&

运算符的操作数）

gf x 1 && gs x 1