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