diff options
| author | Alasdair Armstrong | 2018-01-18 19:17:30 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-18 19:17:30 +0000 |
| commit | 4baf8922637537e7f6594c79fdb00cf931f1232b (patch) | |
| tree | b90c68d1c0685e437bb6f18ed6d4fb82a5230940 /src/ast_util.mli | |
| parent | 0fa42d315e20f819af93c2a822ab1bc032dc4535 (diff) | |
| parent | 373b081bc4b9669bbc17accf24e0dd392489f762 (diff) | |
Merge remote-tracking branch 'origin/experiments' into sail2
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index ec12d44b..69d80ea7 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -164,6 +164,7 @@ val map_letbind_annot : ('a annot -> 'b annot) -> 'a letbind -> 'b letbind val id_loc : id -> Parse_ast.l val kid_loc : kid -> Parse_ast.l +val pat_loc : 'a pat -> Parse_ast.l val def_loc : 'a def -> Parse_ast.l (* For debugging and error messages only: Not guaranteed to produce |