Module Hashed_list.Make
Parameters
Signature
type hashed_listtype elt= A.ttype cache
val int_of_hashed_list : hashed_list -> intval compare : hashed_list -> hashed_list -> intval init : unit -> cacheval hash : cache -> elt list -> cache * hashed_listval cons : cache -> elt -> hashed_list -> cache * hashed_listval empty : hashed_listval print : Format.formatter -> hashed_list -> unitval print_cache : Format.formatter -> cache -> unit