package coq-lsp

  1. Overview
  2. Docs

Source file lang.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
(* generated by dune *)

(** @canonical Lang.Ast *)
module Ast = Lang__Ast

(** @canonical Lang.Compat *)
module Compat = Lang__Compat

(** @canonical Lang.Diagnostic *)
module Diagnostic = Lang__Diagnostic

(** @canonical Lang.LUri *)
module LUri = Lang__LUri

(** @canonical Lang.Point *)
module Point = Lang__Point

(** @canonical Lang.Qf *)
module Qf = Lang__Qf

(** @canonical Lang.Range *)
module Range = Lang__Range

(** @canonical Lang.Utf *)
module Utf = Lang__Utf

(** @canonical Lang.With_range *)
module With_range = Lang__With_range