Module AcgData.Reduction

module Make : functor (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