Idris.Core.WHNF

whnf

data WEnv