module Logic_var: Correspondance_table with type key = logic_var and type data = logic_var correspondance
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
Stdlib.Format.formatter -> data -> unit