Fix error in `psd.dx` introduced by change in `linalg.dx`
Fix error in `psd.dx` introduced by change in `linalg.dx`
google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang