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