def blobComputeTrieRoot (ws : Array (String × String)) : String

Equations

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

def blobComputeTrieRoot.pythonCommandOfInput (inputFile : String) (ws : Array (String × String)) : IO.Process.SpawnArgs

Equations

• blobComputeTrieRoot.pythonCommandOfInput inputFile ws = { cmd := "python3", args := #["EvmYul/EllipticCurvesPy/trie_root.py"] ++ #[inputFile] ++ #[ws.size.repr] }