Lockstep.Checker.Linearizable.Op (Lockstep v0.1.0)

Copy Markdown View Source

A paired (:invoke, :complete) operation. complete is nil if the operation is still pending.

Summary

Types

t()

Types

t()

@type t() :: %Lockstep.Checker.Linearizable.Op{
  complete: Lockstep.History.Event.t() | nil,
  invoke: Lockstep.History.Event.t()
}