sc-client-component(loc;init;inc;dst) ==
<loc
, RecProcess(init;s,m.let s' := s + inc in
<s'
, make-lg([<dst, "msg", make-Msg(``sc input``;
;s')>])
>)
>
Definitions :
nil: [],
int: ,
token: "$token",
cons: [car / cdr],
make-Msg: make-Msg(hdr;typ;val),
pair: <a, b>,
make-lg: make-lg(L),
add: n + m,
callbyvalue: callbyvalue,
rec-process: RecProcess(s0;s,m.next[s; m])
FDL editor aliases :
sc-client-component
sc-client-component(loc;init;inc;dst) ==
<loc
, RecProcess(init;s,m.let s' := s + inc in
<s', make-lg([<dst, "msg", make-Msg(``sc input``;\mBbbZ{};s')>])>)
>
Date html generated:
2010_08_27-PM-08_32_21
Last ObjectModification:
2010_08_10-PM-02_45_13
Home
Index