Module Oo

structure Oo = struct ... end 

Object-oriented extension

val copy : < .. > -> < .. >

Oo.copy o returns a copy of object o, that is a fresh object with the same methods and instance variables as o