Who Cites case pattern2?
case_pattern2	Def <a, inl <<"a", b>, c, 1>> => body(a;b;c) cont(x,z) Def == x/x2,x1. Def == InjCase(x1 Def == InjCase; x1@0. x1@0/x2@0,x1@1. Def == InjCase; x1@0. x2@0/x2@0,x1@2. Def == InjCase; x1@0. InjCase(if x2@0="a"Atominl(*); inr(*) fi Def == InjCase; x1@0. InjCase; x1@1/x2@1,x1@1. Def == InjCase; x1@0. InjCase; InjCase(if x1@1=1 inl(*) ; inr(*) fi Def == InjCase; x1@0. InjCase; InjCase; body(x2;x1@2;x2@1) Def == InjCase; x1@0. InjCase; InjCase; cont(z)) Def == InjCase; x1@0. InjCase; cont(z)) Def == InjCase; _. cont(z))

Syntax:

<a, inl <<"a", b>, c, 1>> => <a, body(a;b;c) cont

has structure:

case_pattern2(a,b,c.body(a;b;c); cont)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html