def blobBN_ADD (x₀ y₀ x₁ y₁ : String) : String

Equations

• blobBN_ADD x₀ y₀ x₁ y₁ = (totallySafePerformIO ∘ IO.Process.run) (blobBN_ADD.pythonCommandOfInput x₀ y₀ x₁ y₁)

def blobBN_ADD.pythonCommandOfInput (x₀ y₀ x₁ y₁ : String) : IO.Process.SpawnArgs

Equations

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

def BN_ADD (x₀ y₀ x₁ y₁ : ByteArray) : Except String ByteArray

Equations

• BN_ADD x₀ y₀ x₁ y₁ = match blobBN_ADD (toHex x₀) (toHex y₀) (toHex x₁) (toHex y₁) with | "error" => Except.error "BN_ADD failed" | s => ByteArray.ofBlob s