diff options
| author | Kathy Gray | 2015-11-04 11:30:39 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-11-04 11:30:39 +0000 |
| commit | 0f935fbc68d0000bbb97eccfe54f54292cb2b36f (patch) | |
| tree | 69746cbb2cc88aa5f234bc020a4955b5b0123f1f /src/spec_analysis.mli | |
| parent | 7ae09fc36e8dcd6af767f1d5ffe7786d01870ab6 (diff) | |
Add a new module for writing queries/analyses that aren't type checking but could be useful
Define in that a function for determining a default direction for vectors
Diffstat (limited to 'src/spec_analysis.mli')
| -rw-r--r-- | src/spec_analysis.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/spec_analysis.mli b/src/spec_analysis.mli new file mode 100644 index 00000000..94698954 --- /dev/null +++ b/src/spec_analysis.mli @@ -0,0 +1,8 @@ +open Ast +open Util +open Big_int +open Type_internal + +type typ = Type_internal.t + +val default_order : tannot defs -> order |