Module Sasacore.Step

val f : ('v Process.t * 'v Register.neighbor list * Register.action) list -> 'v SimuState.t -> 'v SimuState.t