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