diff options
Diffstat (limited to 'kernel/names.ml')
| -rw-r--r-- | kernel/names.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/names.ml b/kernel/names.ml index 60b5b6e421..38eb38beaf 100644 --- a/kernel/names.ml +++ b/kernel/names.ml @@ -317,6 +317,10 @@ let hcons_names () = type transparent_state = Idpred.t * Cpred.t +let empty_transparent_state = (Idpred.empty, Cpred.empty) +let full_transparent_state = (Idpred.full, Cpred.full) +let var_full_transparent_state = (Idpred.full, Cpred.empty) + type 'a tableKey = | ConstKey of constant | VarKey of identifier |