Parameter Make.G
val transition_to_string : transition -> stringtransition_to_string is used only for debugging purposes; it can return "".
val skip : transitionA skip transition is one that does not change the state.
Make.G
val transition_to_string : transition -> stringtransition_to_string is used only for debugging purposes; it can return "".
val skip : transitionA skip transition is one that does not change the state.