package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val make_ident : string -> int option -> Names.Id.t
val repr_ident : Names.Id.t -> string * int option
val atompart_of_id : Names.Id.t -> string
val root_of_id : Names.Id.t -> Names.Id.t
val add_suffix : Names.Id.t -> string -> Names.Id.t
val add_prefix : string -> Names.Id.t -> Names.Id.t
module Subscript : sig ... end
val has_subscript : Names.Id.t -> bool
val get_subscript : Names.Id.t -> Names.Id.t * Subscript.t
val add_subscript : Names.Id.t -> Subscript.t -> Names.Id.t
val increment_subscript : Names.Id.t -> Names.Id.t
val forget_subscript : Names.Id.t -> Names.Id.t
module Name : sig ... end
val pr_meta : Constr.metavariable -> Pp.t
val string_of_meta : Constr.metavariable -> string
OCaml

Innovation. Community. Security.