diff options
Diffstat (limited to 'kernel/conv_oracle.mli')
| -rw-r--r-- | kernel/conv_oracle.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/conv_oracle.mli b/kernel/conv_oracle.mli index da2bbfa23..0eefb8711 100644 --- a/kernel/conv_oracle.mli +++ b/kernel/conv_oracle.mli @@ -24,6 +24,9 @@ val set_transparent_const : kernel_name -> unit val set_opaque_var : identifier -> unit val set_transparent_var : identifier -> unit +val is_opaque_cst : constant -> bool +val is_opaque_var : identifier -> bool + (*****************************) (* transparent state summary operations *) |