Parameter Make.X

include Data.S
type phase = Phase.t
type players = Players.t
type rolemap = bool Players.Player.Roles.Role.Map.t
type nonrec t = (phase, players) Data.t
type nonrec initial = (phase, rolemap) Data.initial
val initial : ?starting_phase:phase -> roles -> initial
exception PlayerRolesDisjoint of Players.t
exception PlayerRolesInvalid of Players.t
val create : initial -> players -> t
val next : t -> t
val starting_phase : initial -> phase
val rolemap : initial -> rolemap
val phase : t -> phase
val players : t -> players
type triggers = T.t
type trigger = T.trigger
type trigger_kind = T.trigger_kind
val triggers : triggers