Up
–
Package index
»
dune-rpc
» Library
dune-rpc.private
»
Dune_rpc_private
»
Procedures
»
Poll
» Name
Module
Poll.Name
Source
dune-rpc
CHANGES
LICENSE
README
Library
dune-rpc
Dune_rpc
Library
dune-rpc.private
Dune_rpc_private
Conv
Versioned
Menu
Procedures
Public
Server_side
Poll
Name
Where
Registry
Id
Version
Method
Call
Response
Request
Protocol
Initialize
Version_negotiation
Persistent
Packet
Pp
Loc
Target
Path
Ansi_color
User_message
Diagnostic
Progress
Message
Job
Compound_user_error
Build_outcome_with_diagnostics
Files_to_promote
Versioned_intf
Version_error
Decl
Sub
Public
Server_notifications
Client
Fiber
Sources
Source
type
t
Source
val
make :
string
->
t
Source
val
compare :
t
->
t
->
Ordering.t