Module AcgDataSource

Sourcemodule Acg_lexicon : sig ... end
Sourcemodule Environment : sig ... end

This modules implements a functor that build an environment containing signatures and lexicons when provided with to actual implementations of a signature and a lexicon

Sourcemodule Error : sig ... end

This module gives some types and some utilities to mange, emit and display messages

Sourcemodule Interface : sig ... end

This module signature describes the interface for modules implementing signatures

Sourcemodule Reduction : sig ... end
Sourcemodule Signature : sig ... end
Sourcemodule Type_system : sig ... end