class base_core : object end
This class can be used as a base class for all residents.
Just inherit from it and extend it appropriately. Most of the
methods here are the same as those in the class type core
above.
method set_notifier : notifier_type -> unit
method reset_notifier : unit -> unit
method start : unit -> unit
method stop : unit -> unit
method is_started : unit -> bool
method nrelease : projection -> bindhalf -> unit
Utility method to use internally instead of going through
the notifier explicitly.
method nnotify : unit -> unit
See nrelease.
method ngetsym : projection -> bindhalf -> bindhalf
See nrelease.
method ntransfer : projection ->
bindhalf ->
projection -> bindhalf -> unit
See nrelease.
method nsplit : projection ->
bindhalf ->
bindhalf ->
projection ->
bindhalf -> splitmessage -> unit
See nrelease.
method njoin : projection ->
bindhalf ->
projection ->
bindhalf ->
bindhalf -> joinmessage -> unit
See nrelease.
method tarsplit : projection ->
bindhalf ->
splitmessage ->
((< is_started : unit -> bool;
ngetsym : projection ->
bindhalf -> bindhalf;
njoin : projection ->
bindhalf ->
projection ->
bindhalf ->
bindhalf -> joinmessage -> unit;
nnotify : unit -> unit;
nrelease : projection -> bindhalf -> unit;
nsplit : projection ->
bindhalf ->
bindhalf ->
projection ->
bindhalf -> splitmessage -> unit;
ntransfer : projection ->
bindhalf ->
projection -> bindhalf -> unit;
reset_notifier : unit -> unit;
set_notifier : notifier_type -> unit; start : unit -> unit;
stop : unit -> unit;
tarjoin : projection ->
bindhalf ->
'b ->
projection ->
bindhalf ->
joinmessage ->
('b * projection * bindhalf) *
joinpart;
tarsplit : 'a; .. > as 'b) *
projection * bindhalf) *
('b * projection * bindhalf) * splitpart as 'a
method tarjoin : projection ->
bindhalf ->
'b ->
projection ->
bindhalf ->
joinmessage ->
('b * projection * bindhalf) * joinpart