You can search for identifiers within the package.
in-package search v0.2.0
electrod.libelectrod
Libelectrod.Raw_ident
Identifiers in "raw" ASTs.
type t = {
ident : string;
loc : Location.t;
}
Any form of identifier for constants (atoms, relations) in the source code.
val ident : string -> Lexing.position -> Lexing.position -> t
val basename : t -> string
val location : t -> Location.t
val eq_name : t -> t -> bool
val pp : Format.formatter -> t -> unit