Module Cfg.NodeSource

Program point along a trace.

Sourcetype t
Sourcemodule Map : Qed.Idxmap.S with type key = t
Sourcemodule Set : Qed.Idxset.S with type elt = t
Sourcemodule Hashtbl : Hashtbl.S with type key = t
Sourceval pp : Format.formatter -> t -> unit
Sourceval create : unit -> t
Sourceval equal : t -> t -> bool