Closed OlivierNicole closed 2 years ago
The two functions Obj.extension_id and Obj.extension_constructor are deprecated and will most probably be removed in the next OCaml release (already are on trunk). This replaces them with their new Obj.Extension_constructor-prefixed versions.
Obj.extension_id
Obj.extension_constructor
Obj.Extension_constructor
Done.
The two functions
Obj.extension_id
andObj.extension_constructor
are deprecated and will most probably be removed in the next OCaml release (already are on trunk). This replaces them with their newObj.Extension_constructor
-prefixed versions.