notation_ids = [];
}
+class type g_status =
+ object
+ method lstatus: lexicon_status
+ end
+
class status =
object
val lstatus = initial_status
method lstatus = lstatus
method set_lstatus v = {< lstatus = v >}
method set_lexicon_engine_status
- : 'status. < lstatus: lexicon_status; .. > as 'status -> 'self
+ : 'status. #g_status as 'status -> 'self
= fun o -> {< lstatus = o#lstatus >}
end