package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type starts_quotation =
  1. | NoQuotation
  2. | Quotation
val add_keyword : ?quotation:starts_quotation -> string -> unit
val remove_keyword : string -> unit
val is_keyword : string -> bool
val keywords : unit -> CString.Set.t
type keyword_state
val set_keyword_state : keyword_state -> unit
val get_keyword_state : unit -> keyword_state
val check_ident : string -> unit
val is_ident : string -> bool
val check_keyword : string -> unit
val terminal : string -> string Tok.p
val terminal_number : string -> NumTok.Unsigned.t Tok.p
module Lexer : sig ... end
module Error : sig ... end
module LexerDiff : sig ... end