diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2018-01-31 13:20:20 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-02-07 13:42:36 +0100 |
| commit | 824f2987d47e87d58ee2a4a96d7be417aad6aeab (patch) | |
| tree | bfbaca8d1c13a2eb1e5568f363cdcd6c94f1786f /src/evaluator.mli | |
| parent | 112ab4b1c396fc2117191297227d8e411f9b9bb3 (diff) | |
API refactoring : made the GADT abstract, provide contructor for each case, and deported the
expression with evaluation with module functors
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
-
|