diff options
| author | Emilio Jesus Gallego Arias | 2020-04-18 23:07:36 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-21 08:39:13 +0200 |
| commit | 77fc6ad50fb2bd95d19ecaee36fa34c7931a2bc1 (patch) | |
| tree | 7ed7bccbf1308dd814afe4be3258b4942d6f5ce6 /dev | |
| parent | e04377e2c5eca2b47bd5f8db320069aa47040488 (diff) | |
[declare] Remove `declare_private_constant` from the public API.
This is an internal function for scheme declaration handled properly
now, we can also remove `pure_definition_entry` which is IMO good too.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions