module Lemmas:Sets of lemmas.sig
..end
A data structure dedicated to sets of lemmas and to the detection of a given node inside the set.
Author(s): Vincent Aravantinos
type
t
val empty : t
val add : t -> Block.t -> unit
val loops_among : t -> Block.t -> bool
val singleton : Block.t -> t