Module type Acsym.SIG

module type SIG = sig  end

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

val th : Th.t

val f : Sym.t