Idris.Core.WHNF

whnf

whnfArgs

data WEnv