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

Module `AcgData.Reduction`Source

module Make
  (Sg : 
    Interface.Signature_sig
      with type term = Logic.Lambda.Lambda.term
       and type stype = Logic.Lambda.Lambda.stype) : 
  sig ... end

This module implements the reduction from ACG signatures and lexicons to datalog programs