Module Libelectrod.Raw_identSource

Identifiers in "raw" ASTs.

Sourcetype t = {
  1. ident : string;
  2. loc : Location.t;
}

Any form of identifier for constants (atoms, relations) in the source code.

Constructor

Sourceval ident : string -> Lexing.position -> Lexing.position -> t

Accessors

Sourceval basename : t -> string
Sourceval location : t -> Location.t
Sourceval eq_name : t -> t -> bool
Sourceval pp : Format.formatter -> t -> unit