WhoCites Definitions list 3 jlc Sections Support(jlc) Doc

Who Cites letrec arg?
letrec_argDef x b(x) (x) == b(x)

Syntax:x b(x) has structure: letrec_arg(x.b(x))

About:
apply!abstraction

WhoCites Definitions list 3 jlc Sections Support(jlc) Doc