Module type LogtkFOTerm.AC_SPEC

module type AC_SPEC = sig .. end

val is_ac : LogtkSymbol.t -> bool
val is_comm : LogtkSymbol.t -> bool