summaryrefslogtreecommitdiff
path: root/compiler/InterpreterStatements.mli
diff options
context:
space:
mode:
authorSon Ho2022-11-09 19:06:03 +0100
committerSon HO2022-11-10 11:35:30 +0100
commit98ecc4763beb6c6213b26f4ddeb4d7850f8a7c08 (patch)
treed125e829bb2e3343eccde56fb7b20614ef732d87 /compiler/InterpreterStatements.mli
parent8b6f8e5fb85bcd1b3257550270c4c857d4ee7f55 (diff)
Implement a Config.ml file which groups all the global options in references
Diffstat (limited to 'compiler/InterpreterStatements.mli')
0 files changed, 0 insertions, 0 deletions