diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index fdd20050..074376a9 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -267,6 +267,7 @@ let ntimes n1 n2 = Nexp_aux (Nexp_times (n1, n2), Parse_ast.Unknown) let npow2 n = Nexp_aux (Nexp_exp n, Parse_ast.Unknown) let nvar kid = Nexp_aux (Nexp_var kid, Parse_ast.Unknown) let nid id = Nexp_aux (Nexp_id id, Parse_ast.Unknown) +let napp id args = Nexp_aux (Nexp_app (id, args), Parse_ast.Unknown) let nc_set kid nums = mk_nc (NC_set (kid, nums)) let nc_int_set kid ints = mk_nc (NC_set (kid, List.map Big_int.of_int ints)) |