ucsd-progsys/liquid-fixpoint — pull request #19 by ranjitjhala (2013-08-02 23:04:56+00:00)
Title: Str: add support for arbitrary constants `SymConst`

We can add new constants by adding to cases for the `SymConst` type.
These are encoded by generating new *global* symbols of the appropriate `sort`.

Added to support `string` in nanojs.