module Oo: sig .. end
sig
end
val copy : (< .. > as 'a) -> 'a
(< .. > as 'a) -> 'a
Oo.copy o
o
val id : < .. > -> int
< .. > -> int