Module Std

module Std: sig .. end

This Std module is expected to be opened.

module Bench: Bench

Please look at Bench

This Std module is expected to be opened.

Please look at Bench