bodymakeMsg{bodymakeMsg_compseq_tag_def:o}(val; typ; hdr) ==
compseq(msg-body(make-Msg(hdr;typ;val)); val)
Definitions occuring in Statement :
make-Msg: make-Msg(hdr;typ;val),
msg-body: msg-body(msg)
bodymakeMsg\{bodymakeMsg\_compseq\_tag\_def:o\}(val; typ; hdr) ==
compseq(msg-body(make-Msg(hdr;typ;val)); val)
Date html generated:
2011_08_17-PM-04_07_24
Last ObjectModification:
2011_07_21-PM-06_32_04
Home
Index