exception Tutor_already_in of tutor_id
exception Tutor_not_found of tutor_id
+class type registry =
+ object
+ method dump: string
+ method purge: unit
+ end
+
class clients:
object
(** 'register client_id client_url' *)
method subscribe: client_id -> tutor_id list -> unit
method getUrl: client_id -> string
method getSubscription: client_id -> tutor_id list
+
+ method dump: string
+ method purge: unit
end
class tutors:
method getHintType: tutor_id -> hint_type
method getDescription: tutor_id -> string
method index: tutor_dsc list
+
+ method dump: string
+ method purge: unit
end
class musings:
method getByMusingId: musing_id -> client_id * tutor_id
method getByClientId: client_id -> musing_id list
method getByTutorId: tutor_id -> musing_id list
+ method isActive: musing_id -> bool
+
+ method dump: string
+ method purge: unit
end