progress-token

Progress token for tracking long-running operations

type progress-token = progress-token;