Module Ast_diff.Logic_info

module Logic_info: Correspondance_table 
  with type key = logic_info and type data = logic_info correspondance

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