AcgData (acgtk.AcgData)

module Acg_lexicon : sig ... end

module 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

module Errors : sig ... end

module Reduction : sig ... end

module Signature : sig ... end

module Type_system : sig ... end