Up – Package index » acgtk » Library acgtkLib.acgData » AcgData » Acg_lexicon

Module `AcgData.Acg_lexicon`Source

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

Exceptions raised when interpretations of types or constants are duplicated