module Kernel_function: Correspondance_table with type key = kernel_function and type data = kernel_function code_correspondance
Correspondance_table
with type key = kernel_function and type data = kernel_function code_correspondance
include State_builder.Hashtbl
val pretty_data : Stdlib.Format.formatter -> data -> unit
Stdlib.Format.formatter -> data -> unit