tff.program.ProgramStateValue

This symbol is a type alias.

Source: