runtime/edu.cornell.cs.apl.viaduct.backend/SingleProtocolInterpreter/runUpdate

runUpdate

abstract suspend fun runUpdate(stmt: UpdateNode)
Content copied to clipboard
open suspend override fun runUpdate(protocol: Protocol, stmt: UpdateNode)
Content copied to clipboard