beamtrace/protocol

Types

pub type SemanticMessage {
  Call
  Cast
  Reply
  MonitorDown
  ExitSignal
  Timeout
  SpawnProtocol
  Ordinary
}

</>

pub fn classify(message: types.TermView) -> SemanticMessage

Classifies only shapes with protocol evidence. Ambiguous tuples stay Ordinary rather than being presented as a semantic call or reply.

</>

pub fn label(message: types.TermView) -> String