Module Ast_diff.Logic_type_info

module Logic_type_info: Correspondance_table 
  with type key = logic_type_info and type data = logic_type_info correspondance

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