Module Player

module Status : sig ... end
module Knowledge = Knowledge
type ('index, 'role, 'status, 'knowledge) t = {
  1. index : 'index;
  2. mutable role : 'role;
  3. mutable status : 'status;
  4. knowledge : 'knowledge;
}
module type S = sig ... end
module Make (I : Id.S) (R : Roles.S) (S : Status.S) : S with module Id = I and module Roles = R and module Status = S