Module type FOTerm.AC_SPEC

module type AC_SPEC = sig .. end

val is_ac : ID.t -> bool

val is_comm : ID.t -> bool