stabilization_num.ml
incremental
incremental.incremental_step_function
1 2 3 4 5 6 7 8 9 open Core open! Import include Int let invariant t = assert (t >= -1) let none = -1 let is_none t = t = none let is_some t = t >= 0 let add1 t = t + 1
1 2 3 4 5 6 7 8 9
open Core open! Import include Int let invariant t = assert (t >= -1) let none = -1 let is_none t = t = none let is_some t = t >= 0 let add1 t = t + 1