package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type status
val classify : int -> status
val ident_refutation : string -> (bool * string) option
val is_valid_ident_initial : status -> bool
val is_valid_ident_trailing : status -> bool
val is_unknown : status -> bool
val lowercase_first_char : string -> string
val split_at_first_letter : string -> (string * string) option
val is_basic_ascii : string -> bool
val ascii_of_ident : string -> string
val is_utf8 : string -> bool
val utf8_length : string -> int
val utf8_sub : string -> int -> int -> string
val escaped_if_non_utf8 : string -> string
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