package electrod

You can search for identifiers within the package.

in-package search v0.2.0

Formal analysis for the Electrod formal pivot language

Install

dune-project

Dependency

sha256=dd47a6d755dc80a9a75fa21bda7a6507316ca2a33f7201d25ee9ba01d902a6a2

sha512=abc8bb1194df32bfe3c00f499dd989868c9ad208c8c7401085b9c18e87890eae1c087dbbb9bf128f95f4e759de27e1d7a6d6b2f7a5e6a9b000b469d72c77b87a

Identifiers in "raw" ASTs.

Sourcetype t = {

}

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

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

Sourceval basename : t -> string

Sourceval location : t -> Location.t

Sourceval eq_name : t -> t -> bool

Sourceval pp : Format.formatter -> t -> unit

On This Page