Module Knowledge

type ('index, 'group) t = ('index, 'group) datum list
and ('index, 'group) datum = {
  1. players : 'index Utils.Selector.t;
  2. group : 'group;
}
module type S = sig ... end
module Make (I : Id.S) (R : Roles.S) : S with type index = I.t and type group = R.group and type t = (I.t, R.group) t and type datum = (I.t, R.group) datum