Mavryk_benchmark.Builtin_models
val ns : Namespace.cons
val fv : string -> Free_variable.t
val timer_model : unit Model.t