Ppx_hash (ppx_hash.Ppx