Module AcgDataSource

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

This modules implements an environment containing signatures and lexicons. It relies on the Signature.Data_Signature and the modules Acg_lexicon.Data_Lexicon

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