Модуль Oo

module Oo: sig .. end

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

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

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

val id : < .. > -> int

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