Module `Make.Mex`

val of_model : 
  Imandra_interactive.Extract.model ->
  DSM.State_machine.event list