Module Vcaml_semantics_test.For_fuzz_testing

module Scenario : sig ... end
val invariant : verbose:bool -> Scenario.t -> unit Async.Deferred.t