Parameter Alternative.State

type t