Up – Package index » dune-rpc » Library dune-rpc.private » Dune_rpc_private » Public » Sub

Module `Public.Sub`Source

Sourcetype 'a t = 'a Sub.t

Sourceval diagnostic : Diagnostic.Event.t list t

Sourceval progress : Progress.t t

Sourceval running_jobs : Job.Event.t list t