interpreter/io.github.aplcornell.viaduct.backend/ReceiveMessage

ReceiveMessage

data class ReceiveMessage(val sender: ProcessId, val receiver: ProcessId) : CommunicationMessage

Constructors

fun ReceiveMessage(sender: ProcessId, receiver: ProcessId)

Properties

val receiver: ProcessId

val sender: ProcessId