commons/objet.mli

   1 class virtual objet :
   2 object('o)
   3   method invariant: unit -> unit
   4   (* method check: unit -> unit *)
   5
   6   method of_string: string -> unit
   7   method to_string: unit -> string
   8   method debug: unit -> unit
   9
  10   (* ugly (but convenient): those methods allow to extend an interface without
  11    * changing its interface. For instance in oassocbtree I want to
  12    * provide a method to commit, but doing so will mean break the interface
  13    * of oassoc. But if provide the commit code via a misc_op_hook, then
  14    * I will not break the interface.
  15    *)
  16   method misc_op_hook: unit -> 'o
  17   method misc_op_hook2: unit
  18 end