Module AcgData.Environment

module type Environment_sig = sig ... end

This module signature describes the interface for modules implementing environments

module Environment : Environment_sig with type Signature1.t = Acg_lexicon.Data_Lexicon.Signature.t and type Lexicon.t = Acg_lexicon.Data_Lexicon.t and type Signature1.term = Acg_lexicon.Data_Lexicon.Signature.term and type Signature1.stype = Acg_lexicon.Data_Lexicon.Signature.stype