Module Libzipperposition.AC_intf

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