module Lscope:sig
..end
type
lscope_var =
| |
Lvs_let of |
| |
Lvs_quantif of |
| |
Lvs_formal of |
| |
Lvs_global of |
type
t
val empty : t
val is_empty : t -> bool
val add : lscope_var -> t -> t
val get_all : t -> lscope_var list
type
pred_or_term =
| |
PoT_pred of |
| |
PoT_term of |
val is_used : t -> pred_or_term -> bool