diff options
| author | Thomas Bauereiss | 2017-07-25 13:06:46 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-07-25 14:06:30 +0100 |
| commit | 0ea787cbb87e5508040d53b06bd812abc5acbb96 (patch) | |
| tree | 5a1898ed30832d107078fb0f1871d360d366f802 /src/ast_util.mli | |
| parent | 5c306614427179282c8747a6fa6c34637c64ca68 (diff) | |
Add partial support for rewriting of sizeof expressions
Tries to extract values of nexps from the (type annotations of) parameters
passed to the function. This seems to correspond to the behaviour of the
previous typechecker.
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 0adda3ef..d7f68412 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -115,6 +115,9 @@ module Bindings : sig include Map.S with type key = id end +val nexp_frees : nexp -> KidSet.t +val nexp_identical : nexp -> nexp -> bool + val is_number : typ -> bool val is_vector_typ : typ -> bool val is_bit_typ : typ -> bool |