Model_internals_json
val json_of_fix_internals : State.internal_states_types -> [> `Assoc of 'a list ]