package Ġcom . valu ed riven . nim mt . messages Ċ Ċ import Ġcom . valu ed riven . nim mt . Player Id Ċ import Ġcom . valu ed riven . nim mt . model . Card Ċ Ċ data Ġclass ĠPlay ed Card ( val Ġplayer : ĠPlayer Id , Ġval Ġcard : ĠCard ) Ġ{ Ċ }