hdrmakeMsg{hdrmakeMsg_compseq_tag_def:o}(val; typ; hdr) ==
compseq(msg-header(make-Msg(hdr;typ;val)); hdr)
Definitions occuring in Statement :
make-Msg: make-Msg(hdr;typ;val),
msg-header: msg-header(m)
hdrmakeMsg\{hdrmakeMsg\_compseq\_tag\_def:o\}(val; typ; hdr) ==
compseq(msg-header(make-Msg(hdr;typ;val)); hdr)
Date html generated:
2011_08_17-PM-04_07_11
Last ObjectModification:
2011_07_21-PM-06_25_53
Home
Index