Definitions lambda jlc Sections Support(jlc) Doc

No mentions to report in lambda_jlc
letrec_bodyDef = b == b

Syntax:= b has structure: letrec_body(b)

About:
!abstraction

Definitions lambda jlc Sections Support(jlc) Doc