Def		(letrec f b(f))	[letrec]
Def		= b	[letrec_body]
Def		x b(x)	[letrec_arg]
Def		T	[theta]
Def		Y	[applicative_Y]
Def		curry f	[curry]
Def		uncurry f	[uncurry]
Def		x:A. B(x)	[all]	core
Def		Y	[ycomb]	core

About: