Def WType.toSigma

Modification history