[Ur] Is mhash exposed as a modules or collection of hash functions?

[Adam Chlipala]

Daniel Patterson wrote:
> Wondering about sha512 specifically, but are any exposed? (If not it is
> no problem, it shouldn't be hard with the FFI).
>    

The current Ur/Web implementation doesn't expose mhash functionality to 
Ur code directly.