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
The type of the actor associated with this id.
public readonly string Type;