diff options
| author | Thomas Bauereiss | 2019-03-15 14:44:38 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-03-15 18:47:30 +0000 |
| commit | 541c1880d31a47302fea48725bd7247d374828d6 (patch) | |
| tree | 24d72fe0ae7d79ce361c93ae101fd83d4a6a3b5a /lib/string.sail | |
| parent | 7da62ecee7d9eb2d16d42f9f8c5a5910b0950849 (diff) | |
Make mono_rewrites less dependant on ASL prelude
... so that it can be more easily used for other specs.
Also add some functions to vector_dec.sail to support this.
Diffstat (limited to 'lib/string.sail')
0 files changed, 0 insertions, 0 deletions