core_bench -- Exported modules

This Std module is expected to be opened.

The following modules will be in scope after you open Core_bench.Std

module Bench = Bench

Please look at Bench