let
transition_rule = transition_rule
Parameters
.nb_states
Parameters
.threshold