module Varinfo: Correspondance_table with type key = varinfo and type data = varinfo correspondance
Correspondance_table
with type key = varinfo and type data = varinfo correspondance
varinfos correspondances
include State_builder.Hashtbl
val pretty_data : Stdlib.Format.formatter -> data -> unit
Stdlib.Format.formatter -> data -> unit