open Common
(* TypeClass via objects. Cf also now interfaces.ml
- *
+ *
* todo? get more inspiration from Java to put fundamental interfaces
* here ? such as cloneable, equaable, showable, debugable, etc
*)
class virtual objet =
object(o:'o)
- method invariant: unit -> unit = fun () ->
+ method invariant: unit -> unit = fun () ->
raise Todo
- (* method check: unit -> unit = fun () ->
+ (* method check: unit -> unit = fun () ->
assert(o#invariant());
*)
- method of_string: string -> unit =
+ method of_string: string -> unit =
raise Todo
- method to_string: unit -> string =
+ method to_string: unit -> string =
raise Todo
- method debug: unit -> unit =
+ method debug: unit -> unit =
raise Todo
- method misc_op_hook: unit -> 'o =
+ method misc_op_hook: unit -> 'o =
raise Todo
- method misc_op_hook2: unit =
+ method misc_op_hook2: unit =
()
end