Hashed_list.Make
module A : SetMap.OrderedType
type elt = A.t
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 : Stdlib.Format.formatter -> hashed_list -> unit
val print_cache : Stdlib.Format.formatter -> cache -> unit