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

runGuard

abstract suspend fun runGuard(expr: AtomicExpressionNode): Value
Content copied to clipboard
open suspend override fun runGuard(protocol: Protocol, expr: AtomicExpressionNode): Value
Content copied to clipboard