module Logic_ctor_info: Correspondance_table with type key = logic_ctor_info and type data = logic_ctor_info correspondance
Correspondance_table
with type key = logic_ctor_info and type data = logic_ctor_info correspondance
include State_builder.Hashtbl
val pretty_data : Stdlib.Format.formatter -> data -> unit
Stdlib.Format.formatter -> data -> unit