Type

progress-token

type progress-token = progress-token;