Module token 

Structs

ErasedToken

Type-erased token for marking storage.

Token

An immutable token carrying a typed value through the Petri net.

Functions

now_millis

unit_token

Returns a unit token (marker with no meaningful value). Used for pure control flow where presence matters but data doesn’t.