diff options
| author | Son Ho | 2022-01-05 08:12:28 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-05 08:12:28 +0100 |
| commit | 27707043055bd2ea198f548fa84b672fe5279880 (patch) | |
| tree | 80c48058a032a9a024f85e28e784ad8c3aa52b49 /src/Substitute.ml | |
| parent | ec5649b9cf9044c7415452b598492c3334451504 (diff) | |
Add more calls to synthesis functions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions