WhoCites Definitions SUPPORTjlc Sections NuprlLIB Doc

Who Cites letrec body?
letrec_bodyDef = b == b

Syntax:= b has structure: letrec_body(b)

About:
!abstraction

WhoCites Definitions SUPPORTjlc Sections NuprlLIB Doc