Module type Term.AC_SPEC

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