Module AcgData.Reduction

Log is the log module for Reduction

module Make (Sg : module type of Signature.Data_Signature) : sig ... end

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