Round.Datamodule Phase : Data.Phase.Stype phase = Phase.ttype players = Players.ttype roles = Players.Player.Roles.Set.ttype nonrec initial = (phase, rolemap) Data.initialexception PlayerRolesDisjoint of Players.texception PlayerRolesInvalid of Players.t