package coq

  1. Overview
  2. Docs
package coq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Pcoq.PrimSource

Sourceval preident : string Entry.t
Sourceval pattern_ident : Names.lident Entry.t
Sourceval base_ident : Names.Id.t Entry.t
Sourceval bignat : string Entry.t
Sourceval natural : int Entry.t
Sourceval bigint : string Entry.t
Sourceval integer : int Entry.t
Sourceval string : string Entry.t
Sourceval fields : (Names.Id.t list * Names.Id.t) Entry.t
Sourceval fullyqualid : Names.Id.t list CAst.t Entry.t
Sourceval by_notation : (string * string option) Entry.t
Sourceval ne_string : string Entry.t
Sourceval ne_lstring : Names.lstring Entry.t
  • deprecated Use Prim.hyp
Sourceval bar_cbrace : unit Entry.t
Sourceval strategy_level : Conv_oracle.level 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