Jennisys/SymGen.fs


1
2
3
4
5
6
7
8
9

module SymGen

let incr =
  let counter = ref 0
  fun () ->
    counter := !counter + 1
    !counter

let NewSymFake expr = sprintf "x_%d" (incr())