Module Acsym

module Acsym: sig  end

Associative-commutative simplification
Author(s): Harald Ruess, N. Shankar

module type SIG = sig  end

Specification of a signature th with one binary, associative-commutative (AC) function symbol f.

module type TERM = sig  end

Canonizer and iterators for AC theories.

module Make: functor (Sig : SIG) -> TERM

Canonizer for a theory with one AC symbol, say *.