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