В чем разница между одинарной кавычкой 'a и a' в OCaml?

Question

Одиночная кавычка 'a в OCaml представляет общий тип. Что означает a'? Похоже, это не грамматическая ошибка, как в следующем коде:

type nat =
  | O
  | S of nat

let rec plus n m =
  match n with
  | O -> m
  | S n' -> S (plus n' m)

Answer 1

Как вы сказали, 'a используется для типа - общего типа.

Принимая во внимание, что 'является допустимым именем для идентификатора (значение, функция ...).

В вашем примере вы можете заменить n' на nn.