diff options
| author | Alasdair Armstrong | 2018-01-23 21:16:02 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-23 21:16:02 +0000 |
| commit | d94404854c10960c881b5146f81d4483e73a8ca6 (patch) | |
| tree | 9f61403a8c88814ae91b7dc867b597fe57ea0e69 /src/ast_util.mli | |
| parent | c5db705ca228421b4035b4361aba9823750fd67c (diff) | |
Started working on C backend for sail
Also updated some of the documentation in the sail source code
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 349faac2..c9869cce 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -48,6 +48,8 @@ (* SUCH DAMAGE. *) (**************************************************************************) +(** Utilities for operating on Sail ASTs *) + open Ast module Big_int = Nat_big_num |