{ 
∀ α.
(
OpaNetwork.cid
, 
RPC.Json.json
, 
{
(
string
void
)
 
error
, 
 
should
, 
(
void
)
 
success
, 
void
 
...
}
void
)
 
send_to_entity
, 
(
OpaNetwork.cid
, 
'entity
void
)
 
register
, 
(
'entity
void
)
 
remove_entity
, 
∀ α, β.
 
owner
, 
 
identify
, 
∀ α, β, γ.
(
, 
(
void
)
void
)
 
on_remove
 }
GenChannel (
 
N)
A Generic module which defines a channel networks

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.