WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites pattern2?
pattern2
Def <
a
, inl <<"a",
b
>,
c
, 1>> == <
a
,inl(<<"a",
b
>,
c
, 1>)>
pattern1
Def
<<"a",
b
>,
c
, 1> == <<"a",
b
>,
c
,1>
Syntax:
<
a
, inl <<"a",
b
>,
c
, 1>>
has structure:
pattern2(
a
;
b
;
c
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc