Модуль Oo

module Oo: sig .. end

Операции над объектами

val copy : (< .. > as 'a) -> 'a

Oo.copy o возвращает копию объекта o, представляющую собой новый объект с теми же методами и переменными экземпляра, что и o.

Предупреждение unsynchronized_access. Несинхронизированный доступ к изменяемым объектам — это ошибка программирования.

val id : < .. > -> int

Возвращает целое число, идентифицирующее этот объект, уникальное для текущего выполнения программы. Общие функции сравнения и хэширования основаны на этом числе. Когда объект получен путем разархивирования, идентификатор обновляется и, следовательно, отличается от исходного объекта. Вследствие этого внутренние инварианты структур данных, таких как хэш-таблица или множества, содержащие объекты, нарушаются после разархивирования структур данных.