NSL-responder0{i:l}(s) ==  B 
 A: ["rcv"(data(c))]
Definitions : 
basic-seq-1-1: A 
 B: pas[A; B; m], 
cons: [car / cdr], 
mk-pa: n(v), 
token: "$token", 
atom-sdata: data(a), 
nil: []
FDL editor aliases : 
NSL-responder0
NSL-responder0\{i:l\}(s)  ==    B  {}\mrightarrow{}  A:  ["rcv"(data(c))]
Date html generated:
2010_08_28-AM-11_51_14
Last ObjectModification:
2010_02_23-AM-11_09_15
Home
Index