Module type LogtkInterfaces.HASH

module type HASH = sig .. end

include LogtkInterfaces.EQ
val hash_fun : t -> int64 -> int64
val hash : t -> int