package coq-lsp

  1. Overview
  2. Docs
type t
val loc : t -> Loc.t option
val hash : t -> int
val compare : t -> t -> int
val print : t -> Pp.t
val grab_definitions : (Loc.t -> Names.Id.t -> 'a) -> t list -> 'a list
val marshal_in : Stdlib.in_channel -> t
val marshal_out : Stdlib.out_channel -> t -> unit
val pr_loc : ?print_file:bool -> Loc.t -> string
OCaml

Innovation. Community. Security.