Module Qed.HconsSource
Hash-Consing Utilities
Sourceval hash_int : int -> int Sourceval hash_tag : 'a -> int Sourceval hash_pair : int -> int -> int Sourceval hash_triple : int -> int -> int -> int Sourceval hash_list : ('a -> int) -> int -> 'a list -> int Sourceval hash_array : ('a -> int) -> int -> 'a array -> int Sourceval hash_opt : ('a -> int) -> int -> 'a option -> int Sourceval eq_list : 'a list -> 'a list -> bool Sourceval eq_array : 'a array -> 'a array -> bool Sourceval equal_list : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool Sourceval equal_array : ('a -> 'a -> bool) -> 'a array -> 'a array -> bool Sourceval compare_list : ('a -> 'a -> int) -> 'a list -> 'a list -> int Sourceval exists_array : ('a -> bool) -> 'a array -> bool Sourceval forall_array : ('a -> bool) -> 'a array -> bool Sourceval fold_list : ('a -> 'a -> 'a) -> ('b -> 'a) -> 'a -> 'b list -> 'a Sourceval fold_array : ('a -> 'a -> 'a) -> ('b -> 'a) -> 'a -> 'b array -> 'a