Module Dolmen_intfSource

Sourcemodule Id : sig ... end

Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.

Sourcemodule Language : sig ... end

Interface for Dolmen languages modules

Sourcemodule Lex : sig ... end

Interface for Dolmen lexers.

Sourcemodule Location : sig ... end

Interface for file locations. This module defines an interface to store locations in files. These locations are used by the parsers to specify the locations of all parsed expressions whenever it is possible. This interface also requires some exceptions to be defined. These exceptions make use of locations to specify at which point in the file the parsing went wrong.

Sourcemodule Parse : sig ... end

Interface for Dolmen parsers.

Sourcemodule Stmt : sig ... end

Interfaces for statements. This module defines interfaces for statements, i.e top-level declarations in files.

Sourcemodule Term : sig ... end

Interfaces for Terms. This module defines Interfaces that implementation of terms must respect in order to be used to instantiated the corresponding language classes.