i think the above means

Digest

is already provided as a

Param

somewhere, either explicitly as a

RootRule

or just as a

yield Get()

from another rule