Module Biokepi_pipeline_edsl.To_dot.Tree.Index_anything (.ml)

module Index_anything: sig .. end

This an implementation of an almost bijection: 'a -> int It compares values structurally (with (=)), and assigns an integer, unique over the execution of the program.

It replaces Hashtbl.hash for which we were hitting annoying collisions.

type e =

`\|`	`E : 'a -> e`

val count : int Pervasives.ref

val nodes : (e * int) list
       Pervasives.ref

val get : 'a -> int