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