Parameter Integrity_checks.XKey

type hash
include Irmin.Key.S with type t = hash Pack_key.t with type hash := hash
type t = hash Pack_key.t

The type for keys.

val t : t Irmin.Type.t
val to_hash : t -> hash
val null : t
val unfindable_of_hash : hash -> t

unfindable_of_hash h is a key k such that to_hash k = h, with an unspecified internal representation. This function enables an efficient implmentation of "portable" inodes, but is otherwise unused. Attempting to dereference a key constructed in this way results in undefined behaviour.