diff options
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 8902c39c..0adda3ef 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -44,6 +44,9 @@ open Ast +val mk_nc : n_constraint_aux -> n_constraint +val mk_nexp : nexp_aux -> nexp + (* Functions to map over the annotations in sub-expressions *) val map_exp_annot : ('a annot -> 'b annot) -> 'a exp -> 'b exp val map_pat_annot : ('a annot -> 'b annot) -> 'a pat -> 'b pat @@ -96,6 +99,22 @@ module BE : sig val compare : base_effect -> base_effect -> int end +module IdSet : sig + include Set.S with type elt = id +end + +module KidSet : sig + include Set.S with type elt = kid +end + +module KBindings : sig + include Map.S with type key = kid +end + +module Bindings : sig + include Map.S with type key = id +end + val is_number : typ -> bool val is_vector_typ : typ -> bool val is_bit_typ : typ -> bool |