Module Ast_diff.Logic_var

module Logic_var: Correspondance_table 
  with type key = logic_var and type data = logic_var correspondance

include State_builder.Hashtbl
val pretty_data : Stdlib.Format.formatter -> data -> unit