ActorId.Type field

The type of the actor associated with this id.

public readonly string Type;

See Also

• class ActorId
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors