WhoCites
Definitions
LogicSupplement
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
A form for function application with a special place for the argument
Who Cites pure
let?
pure_let
Def let
x
a
in
b
(
x
) ==
b
(
a
)
Syntax:
let
x
a
in
b
(
x
)
has structure:
pure_let(
x
.
b
(
x
);
a
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
LogicSupplement
Sections
DiscrMathExt
Doc
a in b(x) == b(a)a in b(x) == b(a)a in b(x)