File ‹zippy_action_cluster_metadata_mixin_base.ML›

(*  Title:      Zippy/zippy_action_cluster_metadata_mixin_base.ML
    Author:     Kevin Kappelmann
*)
signature ZIPPY_ACTION_CLUSTER_METADATA_MIXIN_BASE =
sig
  structure Meta : ZIPPY_ACTION_CLUSTER_METADATA
  structure L : \<^eval>‹sfx_T_nargs "SSTRUCTURED_LENS"›
  where type @{AllT_args} data = Meta.metadata
end

functor Zippy_Action_Cluster_Metadata_Mixin_Base(A :
  sig
    structure Meta : ZIPPY_ACTION_CLUSTER_METADATA
    structure L : \<^eval>‹sfx_T_nargs "SSTRUCTURED_LENS"›
    where type @{AllT_args} data = Meta.metadata
  end) : ZIPPY_ACTION_CLUSTER_METADATA_MIXIN_BASE
  = A