Module Ppx_hash