pi-run-example{$l_server,$l_choose,$l_comm,$l_pi,$a,$b,$c,$d,$e,$f,$g}(P;t) ==
pRun2(pi-system-example{$l_server,$l_choose,$l_comm,$l_pi,$a,$b,$c,
$d,$e,$f,$g}(P);std-env("$l_server");
n.pDVfire();l.pDVfire();t)
Definitions occuring in Statement :
pi-system-example: pi-system-example{$l_server,$l_choose,$l_comm,$l_pi,$a,$b,$c,$d,$e,$f,$g}(P),
std-env: std-env(nm),
pRun2: pRun2(S0;env;nat2msg;loc2msg;t),
mkid: "$x",
lambda: x.A[x]
Definitions :
pRun2: Error :pRun2,
pi-system-example: pi-system-example{$l_server,$l_choose,$l_comm,$l_pi,$a,$b,$c,$d,$e,$f,$g}(P),
std-env: std-env(nm),
mkid: "$x",
lambda: x.A[x],
pDVfire: pDVfire()
FDL editor aliases :
pi-run-example
pi-run-example\{\$l\_server,\$l\_choose,\$l\_comm,\$l\_pi,\$a,\$b,\$c,\$d,\$e,\$f,\$g\}(P;t) ==
pRun2(pi-system-example\{\$l\_server,\$l\_choose,\$l\_comm,\$l\_pi,\$a,\$b,\$c,
\$d,\$e,\$f,\$g\}(P);std-env("\$l\_server");\mlambda{}n.pDVfire();\mlambda{}l.pDVfire();t)
Date html generated:
2011_08_17-PM-07_04_56
Last ObjectModification:
2010_09_21-PM-03_39_22
Home
Index