Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Coq_utils

Module `Fleche.Coq_utils`Source

Sourceval to_range : lines:string array -> Loc.t -> Types.Range.t

Specific to Coq

Sourceval to_orange : lines:string array -> Loc.t option -> Types.Range.t option