Module `Hashcons.Make`

Create a new hashconsed type.

Parameters

module A : ARG

Signature

type t

val create : ?size:int -> unit -> t

val hashcons : t -> A.t -> A.t

val size : t -> int

val remove : t -> A.t -> unit

val to_iter : t -> A.t Iter.t