Module Lemmas


module Lemmas: sig .. end
Sets of lemmas.

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 
A set of lemmas. Imperative data structure.
val empty : t
The empty set.
val add : t -> Block.t -> unit
Adding a block in the set of lemmas.
val loops_among : t -> Block.t -> bool
Checking if a block occurs in the set.
val singleton : Block.t -> t
A set containg only one lemma.