Ident

Ltac2.Ident

type t = ident

val equal : ident -> ident -> bool

equal id1 id2 tests equality of identifiers.

val to_string : ident -> string

to_string id converts the identifier to a string.

val of_string : string -> ident option

of_string s converts the string to an identifier, returning None if the string contains invalid characters.