Module Core_bench__Std

This Std module is expected to be opened.

module Bench = Core_bench.Bench

Please look at Bench