我必须在ocaml中创建一个解释器，我必须在它上面实现String和一些操作。类似c中的type ide = string
type exp = ........ EXPRESSIONS
。我从不使用ocaml，我google了很多，但我找不到能帮助我的东西。所以我必须编写synthax？
类似的东西：
struct然后c中的某个模块subject to cons2{j in customer}: sum{i in nodes: i<>j} x[i,j] = 1;
？还有一些语义评估功能？抱歉，这是我第一次参加ocaml，也是我的第一次翻译，我想学习它，所以我需要一些输入知道在哪里学习它。请不要误解我的意思我想学习！