Parameter ArrayWithCopy.Node

include Parameters.NODE

type t

The type of nodes

val equal : t -> t -> bool

Node equality

val to_int : t -> int

Returns a unique integer identifier associated with the given element (eg hash-consed tag). See PatriciaTree.HETEROGENEOUS_KEY.to_int

val pretty : Stdlib.Format.formatter -> t -> unit

Pretty printer

val compare : t -> t -> int

val of_int : int -> t

needed for MemCAD init