Nuprl Definition : mk-msg-interface

mk-msg-interface(l;m) == make-msg-interface(0;l;m)

Definitions occuring in Statement : make-msg-interface: make-msg-interface(i;l;m), natural_number: $n
FDL editor aliases : mk-msg-interface

Latex:
mk-msg-interface(l;m) == make-msg-interface(0;l;m) Date html generated: 2015_07_22-AM-11_59_24 Last ObjectModification: 2013_02_14-PM-11_20_32 Home Index