Module AcgData.Acg_lexicon

module Data_Lexicon : Interface.Lexicon_sig with type Signature.term = Logic.Lambda.Lambda.term and type Signature.stype = Logic.Lambda.Lambda.stype