Module `Fix_engine_json`

JSON printers for engine model state.

val fix_engine_mode_to_string : Fix_engine_state.fix_engine_mode -> string
val int_inc_msg_to_json : Fix_engine_state.fix_engine_int_inc_msg -> Yojson.json: These are the messages going in/out of the engine to the owner.

val int_out_msg_to_json : Fix_engine_state.fix_engine_int_out_msg -> Yojson.json
val int_inc_msg_to_str : Fix_engine_state.fix_engine_int_inc_msg -> string
val int_out_msg_to_str : Fix_engine_state.fix_engine_int_out_msg -> string
val int_inc_msg_opt_to_json : Fix_engine_state.fix_engine_int_inc_msg option -> Yojson.json
val int_out_msg_opt_to_json : Fix_engine_state.fix_engine_int_out_msg option -> Yojson.json
val fix_engine_state_to_json : Fix_engine_state.fix_engine_state -> [> `Assoc of (string * Yojson.json) list ]
val engine_state_to_str : Fix_engine_state.fix_engine_state -> string
val print_states : Fix_engine_state.fix_engine_state list -> Imandra_prelude.String.t