Cubicle 1.1.2 documentation and source : Explanation.fresh

let fresh_exp =
  let r = ref (-1) in
  fun () -> incr r; !r