Type Definition type_freak::counter::CountOpOutput

type CountOpOutput<Cnt> = <Cnt as CountOp>::Output;