AgentName

type AgentName = string;