Definitions
StandardLib
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in StandardLib
mapc
Def mapc(
f
)(
as
) == Case of
as
; nil
nil ;
a
.
as1
f
(
a
).mapc(
f
)(
as1
)
Def
(recursive)
Thm*
A
,
B
:Type,
f
:(
A
B
). mapc(
f
)
(
A
List)
(
B
List)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc
nil ; a.as1 f(a).mapc(f)(as1)
A,B:Type, f:(A
B). mapc(f) 
(A List)(B List) nil ; a.as1 f(a).mapc(f)(as1)
A,B:Type, f:(AB). mapc(f) (A List)(B List)
