/// A playable level
pubtraitLevelKind{/// The type of the position in the level
typePosition;/// Return the position of the player in the level
fnget_position(&self)->Self::Position;/// Returns whether the player fulfilled all goals of the level
fnis_finished(&self)->bool;}