Parameter Hlist.1-D

type t
val hash : t -> int