Module Actions
type m_action_fix_x={mod_f_x_x : Imandra_prelude.int;}type fix_action=|FIX_Action_x of m_action_fix_x
Actionstype m_action_fix_x = {mod_f_x_x : Imandra_prelude.int; |
}type fix_action = | FIX_Action_x of m_action_fix_x |