Syntax Lookup

Enter some language construct you want to know more about.

type rec defines recursive and mutually recursive types.

Use type rec to define recursive types. Combine it with and for mutually recursive types.

ReScriptJS Output

type rec expr =
  | Int(int)
  | Add(expr, expr)
and node = {
  value: expr,
  next: option<node>,
}