Module Act_checks
val is_valid_action_x : Actions.m_action_fix_x -> boolval is_action_valid : Actions.fix_action -> State.model_state -> bool
Act_checksval is_valid_action_x : Actions.m_action_fix_x -> boolval is_action_valid : Actions.fix_action -> State.model_state -> bool