def blobRIP160 (d : String) : String

Equations

• blobRIP160 d = (totallySafePerformIO ∘ IO.Process.run) (blobRIP160.pythonCommandOfInput d)

def blobRIP160.pythonCommandOfInput (d : String) : IO.Process.SpawnArgs

Equations

• One or more equations did not get rendered due to their size.

def RIP160 (d : ByteArray) : Except String ByteArray

Equations

• RIP160 d = ByteArray.ofBlob (blobRIP160 (toHex d))