Module AC_intf

module AC_intf: sig .. end
Declare that the given symbol is AC, and update the Env subsequently by adding clauses, etc.

type spec = {
   sym : Logtk.ID.t;
   ty : Logtk.Type.t;
}
module type S = sig .. end