summaryrefslogtreecommitdiff
path: root/rust-tests
diff options
context:
space:
mode:
authorSon Ho2021-11-25 15:23:54 +0100
committerSon Ho2021-11-25 15:23:54 +0100
commitd69093dc3b15a079729b282bbea6b460ffba3a75 (patch)
treea43807a1dd802e7ca1fae3fe546826eec68deba3 /rust-tests
parent33814c82e8465a0d5f7c6d8f1d39bae087ffb547 (diff)
Replace `open Types` by `module T = Types` in Interpreter.ml
Diffstat (limited to 'rust-tests')
0 files changed, 0 insertions, 0 deletions