Я определил два типа записей:

type name =
    { r0: int; r1: int; c0: int; c1: int;
      typ: dtype;
      uid: uid (* key *) }

and func =
    { name: string;
      typ: dtype;
      params: var list;
      body: block }

И позже я получил ошибку для строки кода:Error: The record field label typ belongs to the type Syntax.func but is mixed here with labels of type Syntax.name

Может ли кто-нибудь сказать мне, если мы не должны иметь два поля из двух записей имеют одинаковый ярлык, какtyp здесь, что заставляет компилятор запутаться.