相关疑难解决方法(0)

有我的玩具GADT表达:

type _ expr =
  | Num : int -> int expr
  | Add : int expr * int expr -> int expr
  | Sub : int expr * int expr -> int expr
  | Mul : int expr * int expr -> int expr
  | Div : int expr * int expr -> int expr
  | Lt  : int expr * int expr -> bool expr
  | Gt  : int expr * int expr -> bool expr
  | And …

我最近一直在学习OCaml,到目前为止,编译器似乎使用了一个箭头来表示下一个类型是什么.例如,int -> int -> <fun>一个返回整数的整数,它返回一个函数.

但是,我想知道我是否可以在OCaml代码中原生使用它.此外,如果有人碰巧知道它的适当名称.谢谢.