package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val preident : string Entry.t
val ident : Names.Id.t Entry.t
val name : Names.lname Entry.t
val identref : Names.lident Entry.t
val pattern_ident : Names.Id.t Entry.t
val pattern_identref : Names.lident Entry.t
val base_ident : Names.Id.t Entry.t
val natural : int Entry.t
val bigint : string Entry.t
val integer : int Entry.t
val string : string Entry.t
val lstring : Names.lstring Entry.t
val reference : Libnames.qualid Entry.t
val fullyqualid : Names.Id.t list CAst.t Entry.t
val by_notation : (string * string option) Entry.t
val dirpath : Names.DirPath.t Entry.t
val ne_string : string Entry.t
val ne_lstring : Names.lstring Entry.t
val bar_cbrace : unit Entry.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct