package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ast = t
module Command : sig ... end
type t = {
  1. command : Command.t;
  2. loc : Loc.t option;
  3. attrs : Attributes.vernac_flag list;
  4. control : Vernacexpr.control_flag list;
}
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val extract : ast -> t option

Determine if we are under a meta-command

OCaml

Innovation. Community. Security.