Add optional shape parameter to DiscreteArray#19

adzcai wants to merge 1 commit intogoogle-deepmind:mastergoogle-deepmind/dm_env:masterfrom

adzcai:discrete-shapeadzcai/dm_env:discrete-shapeCopy head branch name to clipboard