def blobPointEval (data : String) : String

Equations

• blobPointEval data = (totallySafePerformIO ∘ IO.Process.run) (blobPointEval.pythonCommandOfInput data)

def blobPointEval.pythonCommandOfInput (data : String) : IO.Process.SpawnArgs

Equations

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

def PointEval (data : ByteArray) : Except String ByteArray

Equations

• PointEval data = match blobPointEval (toHex data) with | "error" => Except.error "PointEval failed" | s => ByteArray.ofBlob s