diff options
| author | Christopher Pulte | 2019-03-02 11:37:01 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-03-02 11:37:01 +0000 |
| commit | 2f5d000a2175a230318ae4be920585db8491b6fb (patch) | |
| tree | ca6265f4c7ecdebb31eea9d62e432e1cda2eadbb /src/ast_util.mli | |
| parent | 8e7138cded140de550cbb4d4f803d13d175b2d95 (diff) | |
| parent | 7584f2303718ef7d345a4ab32ed0ae1344be8816 (diff) | |
Merge branch 'sail2' of https://github.com/rems-project/sail 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 823fcebb..0c42d9d3 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -403,6 +403,7 @@ val ids_of_def : 'a def -> IdSet.t val ids_of_defs : 'a defs -> IdSet.t val pat_ids : 'a pat -> IdSet.t + val subst : id -> 'a exp -> 'a exp -> 'a exp val hex_to_bin : string -> string |