val create :
me:int ->
players:int ->
update:(string array -> 'model -> 'model) ->
'model ->
'model tval step : 'model t -> seq:int -> string -> unitval correct :
'model t ->
world:'model ->
acked:int ->
latest:string array ->
unitval model : 'model t -> 'modelval mispredictions : 'model t -> int