package coq-lsp

  1. Overview
  2. Docs

Source file with_range.ml

1
2
3
4
type 'a t =
  { range : Range.t
  ; v : 'a
  }