node_id.ml
incremental
incremental.incremental_step_function
1 2 3 4 5 6 7 8 9 10 11 12 open Core open! Import include Int let invariant t = assert (t >= 1) let next = let r = ref 0 in fun () -> incr r; !r ;;
1 2 3 4 5 6 7 8 9 10 11 12
open Core open! Import include Int let invariant t = assert (t >= 1) let next = let r = ref 0 in fun () -> incr r; !r ;;