diff options
| author | Robert Norton | 2018-02-23 17:04:38 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-23 17:08:35 +0000 |
| commit | 5b068e01517bb461b8864581ce97799986cb0739 (patch) | |
| tree | 4bed6a1b6bde8479bfe06b48a997162eb5c31338 /language/l2_parse.ott | |
| parent | bac62a260ce9aa8f83bb71515daf1829133b0127 (diff) | |
Some tidy up of sail library - use extract_num from Big_int to implement to_get_slice_int in less confusing way. Add arithmetic shift right.
Diffstat (limited to 'language/l2_parse.ott')
0 files changed, 0 insertions, 0 deletions