For example, objects in OCaml are structurally typed; the empty object type (the type of objects with no methods), < >, is the top type of object types.
Например, объекты в OCaml структурно типизированы; пустой тип объекта (тип объекта, не имеющего методов), «< >», — высший тип для объектных типов.