let
hash =
CudfAdd
.hash