Module type Logtk__Term.AC_SPEC

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