diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 7d366803..5393bb81 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -262,6 +262,8 @@ let nc_false = mk_nc NC_false let mk_typschm typq typ = TypSchm_aux (TypSchm_ts (typq, typ), Parse_ast.Unknown) +let mk_typquant qis = TypQ_aux (TypQ_tq qis, Parse_ast.Unknown) + let mk_fexp id exp = FE_aux (FE_Fexp (id, exp), no_annot) let mk_fexps fexps = FES_aux (FES_Fexps (fexps, false), no_annot) @@ -401,6 +403,9 @@ let prepend_id str = function | Id_aux (Id v, l) -> Id_aux (Id (str ^ v), l) | Id_aux (DeIid v, l) -> Id_aux (DeIid (str ^ v), l) +let prepend_kid str = function + | Kid_aux (Var v, l) -> Kid_aux (Var ("'" ^ str ^ String.sub v 1 (String.length v - 1)), l) + let string_of_base_effect_aux = function | BE_rreg -> "rreg" | BE_wreg -> "wreg" |