module Clusters: sig .. end
sig
end
type cluster = {
params : Type.param list;
Type.param list
decls : Type.decl list;
Type.decl list
instances : (Type.name * Type.expr list) list;
(Type.name * Type.expr list) list
val make : Type.decl list -> cluster list
Type.decl list -> cluster list