Up
–
imandra-tools
»
Imandra_tools
»
Idf_intf
»
SIG
» Mex
Module
SIG.Mex
val
of_model :
Imandra_interactive.Extract.model
->
DSM.State_machine.event
list