Module Hashed_list.Make

Parameters

Signature

type hashed_list
type elt = A.t
type cache
val int_of_hashed_list : hashed_list -> int
val compare : hashed_list -> hashed_list -> int
val init : unit -> cache
val hash : cache -> elt list -> cache * hashed_list
val cons : cache -> elt -> hashed_list -> cache * hashed_list
val empty : hashed_list
val print : Format.formatter -> hashed_list -> unit
val print_cache : Format.formatter -> cache -> unit