object ('a)
method click : unit -> bool
method get_full_marker : Swarm.SWARM.projection -> Swarm.SWARM.marker
method get_projection : unit -> Swarm.SWARM.projection list
method get_submarker :
Swarm.SWARM.projection ->
Swarm.SWARM.matchinghalf -> Swarm.SWARM.submarker
method has_active : Swarm.SWARM.projection -> bool
method is_started : unit -> bool
method reset_notifier : unit -> unit
method set_notifier : Swarm.SWARM.notifier_type -> unit
method start : unit -> unit
method stop : unit -> unit
method tarjoin :
Swarm.SWARM.projection ->
Swarm.SWARM.bindhalf ->
'a ->
Swarm.SWARM.projection ->
Swarm.SWARM.bindhalf ->
Swarm.SWARM.joinmessage ->
('a * Swarm.SWARM.projection * Swarm.SWARM.bindhalf) *
Swarm.SWARM.joinpart
method tarsplit :
Swarm.SWARM.projection ->
Swarm.SWARM.bindhalf ->
Swarm.SWARM.splitmessage ->
('a * Swarm.SWARM.projection * Swarm.SWARM.bindhalf) *
('a * Swarm.SWARM.projection * Swarm.SWARM.bindhalf) *
Swarm.SWARM.splitpart
method unimate_dock :
Swarm.SWARM.projection ->
Swarm.SWARM.matchinghalf -> Swarm.SWARM.submarker -> Swarm.SWARM.bindhalf
method unimate_prop :
Swarm.SWARM.projection ->
Swarm.SWARM.bindhalf -> 'a Swarm.SWARM.bindholder -> unit
method unimate_undock :
Swarm.SWARM.projection -> Swarm.SWARM.bindhalf -> unit
method unirelease : Swarm.SWARM.projection -> Swarm.SWARM.bindhalf -> unit
end