diff options
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 69bd5a52..ec12d44b 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -127,6 +127,7 @@ val nsum : nexp -> nexp -> nexp val ntimes : nexp -> nexp -> nexp val npow2 : nexp -> nexp val nvar : kid -> nexp +val napp : id -> nexp list -> nexp val nid : id -> nexp (* NOTE: Nexp_id's don't do anything currently *) (* Numeric constraint builders *) |