Up – Package index » coq-lsp » Library petanque_json » Petanque_json » Client

Module `Petanque_json.Client`Source

Sourcemodule type Chans = sig ... end

Sourcemodule S (C : Chans) : sig ... end