package coq-lsp

  1. Overview
  2. Docs

Source file qf.ml

1
2
3
4
5
6
7
8
9
10
11
12
(************************************************************************)
(* Flèche => document manager: Language Support                         *)
(* Copyright 2019-2024 Inria      -- Dual License LGPL 2.1 / GPL3+      *)
(* Written by: Emilio J. Gallego Arias                                  *)
(************************************************************************)

type 'l t =
  { range : 'l
  ; newText : string
  }

let map ~f { range; newText } = { range = f range; newText }