diff options
Diffstat (limited to 'src/evaluator.mli')
-rwxr-xr-x | src/evaluator.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/evaluator.mli b/src/evaluator.mli deleted file mode 100755 index e338b8d..0000000 --- a/src/evaluator.mli +++ /dev/null @@ -1,4 +0,0 @@ -val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
-
-val set_catalog: Functions.C.t -> unit
-
|