diff options
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index fe722f5e..823fcebb 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -109,7 +109,7 @@ val dec_ord : order (* Utilites for working with kinded_ids *) val kopt_kid : kinded_id -> kid val kopt_kind : kinded_id -> kind -val is_nat_kopt : kinded_id -> bool +val is_int_kopt : kinded_id -> bool val is_order_kopt : kinded_id -> bool val is_typ_kopt : kinded_id -> bool val is_bool_kopt : kinded_id -> bool |