Cir_logic.Main
val run_module : vm:('f, 'b, 'r, 'm, 's, 'branch) Types.manager -> ('f, 'r, 'm) Cir_types.module_handle -> 's -> ('s * int, Types.localized_runtime_errors) Stdlib.result