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

Module `AcgData.Signature`Source

module Data_Signature : 
  Interface.Signature_sig
    with type term = Logic.Lambda.Lambda.term
     and type stype = Logic.Lambda.Lambda.stype

Exceptions raised when definitions of types or constants are duplicated