Hashable_intf (base.Base__.Hashable

include Hashable

type 'a t = {

hash : 'a ‑> int;

compare : 'a ‑> 'a ‑> int;

sexp_of_t : 'a ‑> Base.Sexp.t;

}

val equal : 'a t ‑> 'a t ‑> bool

This function is sound but not complete, meaning that if it returns true then it's safe to use the two interchangeably. If it's false, you have no guarantees. For example:

        > utop
        open Core;;
        let equal (a : 'a Hashtbl_intf.Hashable.t) b =
          phys_equal a b
          || (phys_equal a.hash b.hash
              && phys_equal a.compare b.compare
              && phys_equal a.sexp_of_t b.sexp_of_t)
        ;;
        let a = Hashtbl_intf.Hashable.{ hash; compare; sexp_of_t = Int.sexp_of_t };;
        let b = Hashtbl_intf.Hashable.{ hash; compare; sexp_of_t = Int.sexp_of_t };;
        equal a b;;  (* false?! *)

val hash_param : int ‑> int ‑> 'a ‑> int

val hash : 'a ‑> int

val poly : 'a t

val of_key : (module Key with type t = 'a) ‑> 'a t

val to_key : 'a t ‑> (module Key with type t = 'a)