WhoCites Definitions list 3 jlc Sections Support(jlc) Doc

Who Cites letrec body?
letrec_bodyDef = b == b

Syntax:= b has structure: letrec_body(b)

About:
!abstraction

WhoCites Definitions list 3 jlc Sections Support(jlc) Doc