Module Lscope

module Lscope: sig .. end

type t = Analyses_types.lscope 
module D: Datatype.S  with type t = lscope
val empty : t
val add : Analyses_types.lscope_var -> t -> t
val remove : Analyses_types.lscope_var -> t -> t
val get_all : t -> Analyses_types.lscope_var list
val is_used : t -> Analyses_types.pred_or_term -> bool