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