Module Venue

val one_step : State.model_state -> State.model_state