Mavryk_shell_benchmarks.Misc_benchmarksval ns : Mavryk_benchmark.Namespace.consval fv : string -> Mavryk_benchmark.Free_variable.tval lwt_variable : Mavryk_benchmark.Free_variable.tval lwt_model :
name:Mavryk_benchmark.Namespace.t ->
unit Mavryk_benchmark.Model.t