module object.

import inherits_rel set.

% kind objectId = int.
kind object type.

type mkObject int -> inherits_rel
       -> set case -> set case -> object.
type oid -> object -> int -> o.

oid (mkObject ID I IS AS) ID.