package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val to_entry : string -> t -> unit Entry.t
val (>>) : t -> t -> t
val (<+>) : t -> t -> t
val lk_list : t -> t
val check_no_space : t
val lk_kw : string -> t
val lk_kws : string list -> t
val lk_nat : t
val lk_ident : t
val lk_name : t
val lk_ident_except : string list -> t
val lk_ident_list : t
OCaml

Innovation. Community. Security.