diff options
Diffstat (limited to 'Source/Jennisys/SymGen.fs')
| -rw-r--r-- | Source/Jennisys/SymGen.fs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Source/Jennisys/SymGen.fs b/Source/Jennisys/SymGen.fs new file mode 100644 index 00000000..b736ef31 --- /dev/null +++ b/Source/Jennisys/SymGen.fs @@ -0,0 +1,9 @@ +module SymGen
+
+let incr =
+ let counter = ref 0
+ fun () ->
+ counter := !counter + 1
+ !counter
+
+let NewSymFake expr = sprintf "x_%d" (incr())
\ No newline at end of file |