Module Imandra_util.Chash

Crypto Hash

type t

a hash

type builder
type 'a hasher = builder -> 'a -> unit
val print : t CCFormat.printer
val to_string : t -> string
val equal : t -> t -> bool
val compare : t -> t -> int
val make : 'a hasher -> 'a -> t
val int : int hasher
val bool : bool hasher
val string : string hasher
val char : char hasher
val float : float hasher
val int32 : int32 hasher
val int64 : int64 hasher
val nativeint : nativeint hasher
val z : Z.t hasher
val q : Q.t hasher
val list : 'a hasher -> 'a list hasher
val seq : 'a hasher -> (('a -> unit) -> unit) hasher
val array : 'a hasher -> 'a array hasher
val option : 'a hasher -> 'a option hasher
val pair : 'a hasher -> 'b hasher -> ('a * 'b) hasher
val triple : 'a hasher -> 'b hasher -> 'c hasher -> ('a * 'b * 'c) hasher
val quad : 'a hasher -> 'b hasher -> 'c hasher -> 'd hasher -> ('a * 'b * 'c * 'd) hasher
val sub_hash : t hasher
val list_sorted : 'a hasher -> 'a list hasher

hash then sort then hash

val map : ('a -> 'b) -> 'b hasher -> 'a hasher
val hash_as_int : t -> int
val _finalize : builder -> t
val _of_string : string -> t
module Tbl : CCHashtbl.S with type Tbl.key = t