1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(** @canonical Protocol.ExtProtocol *)
module ExtProtocol = Protocol__ExtProtocol
(** @canonical Protocol.LspWrapper *)
module LspWrapper = Protocol__LspWrapper
(** @canonical Protocol.Printing *)
module Printing = Protocol__Printing
(** @canonical Protocol.ProofState *)
module ProofState = Protocol__ProofState
(** @canonical Protocol.Settings *)
module Settings = Protocol__Settings