Module Tjr_trace_check
Simple testing/ trace checking.
type 's spec_state= 'stype 'u impl_transition= 'utype ('s, 'u) check_ops={initial_spec_state : 's;check_trans : ('s * 'u) -> 's option;}
val check_transition_sequence : ('a, 'b) check_ops -> 'b list -> 'a option