Taddeus Kroes 662cca4a28 Moved args to ast.ml to avoid circular dependency преди 12 години
..
bool_op.ml 180700fd3e Moved command-line arguments to global record преди 12 години
context_analysis.ml 180700fd3e Moved command-line arguments to global record преди 12 години
desug.ml 180700fd3e Moved command-line arguments to global record преди 12 години
dim_reduce.ml 180700fd3e Moved command-line arguments to global record преди 12 години
expand_dims.ml 180700fd3e Moved command-line arguments to global record преди 12 години
load.ml 180700fd3e Moved command-line arguments to global record преди 12 години
parse.ml 180700fd3e Moved command-line arguments to global record преди 12 години
print.ml 662cca4a28 Moved args to ast.ml to avoid circular dependency преди 12 години
typecheck.ml 180700fd3e Moved command-line arguments to global record преди 12 години