package coq-lsp

  1. Overview
  2. Docs

Module Petanque_shell.ClientSource

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