package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type message_listener_msg = message_channel -> string -> int -> unitval add_named_channel : message_channel -> string -> message_channelval add_named_root_channel : string -> message_channelval add_anonymous_channel : message_channel -> message_channelval add_anonymous_root_channel : unit -> message_channelval find_channel : message_channel -> string -> message_channelval find_root_channel : string -> message_channelval get_parent_channel : message_channel -> message_channelval is_root_channel : message_channel -> boolval get_channels : message_channel -> message_channel listval get_root_channels : unit -> message_channel listval get_channel_ident : message_channel -> stringval get_full_ident : message_channel -> stringval channel_is_listening : message_channel -> boolval remove_channel : message_channel -> unitval new_listener : message_listener_msg -> message_listenerval add_listener : message_listener -> message_channel -> unitval remove_listener : message_listener -> message_channel -> unitval send_message_depth : message_channel -> (unit -> string) -> int -> unitval send_message : message_channel -> (unit -> string) -> unitval increase_depth : message_channel -> unitval decrease_depth : message_channel -> unitval default_message_listener :
bool option ->
int ->
(string -> unit) ->
message_listener_msg