Module type Model.SUITE

val tests : count:int -> QCheck2.Test.t list