diff options
| author | Alex Richardson | 2020-05-15 16:26:00 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 16:29:55 +0100 |
| commit | 4d50c7b8601907774da137f4f3609f644f5df20a (patch) | |
| tree | e4fa040f9c075b2813c84d2264e94e47bf967f01 /src/specialize.ml | |
| parent | 402fe1f632f7e6075e0810dcff2d8432b65352d2 (diff) | |
C backend: Add a static () helper
This simplifies some of the code.
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions