summaryrefslogtreecommitdiff
path: root/Jennisys/SymGen.fs
blob: b736ef3180f99b3f4717acf6a0273fece9eec30e (plain)
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())