Module Simulate_options

module Simulate_options: sig .. end
Options for simulation

module StepByStep: Parameters.Boolean 
module FuzzerIterations: Parameters.Integer 
module ConditionalStrategy: sig .. end
module SemanticsMode: sig .. end