Nuprl Definition : command-to-msg

command-to-msg(c;nmsg;lmsg) ==
  if com-kind(c) =a "msg" then comm-msg(c)
  if com-kind(c) =a "choose" then nmsg
  else lmsg
  fi

Definitions occuring in Statement : comm-msg: comm-msg(c), com-kind: com-kind(c), ifthenelse: if b then t else f fi , eq_atom: x =a y, token: "$token"
FDL editor aliases : command-to-msg

Latex:
command-to-msg(c;nmsg;lmsg) == if com-kind(c) =a "msg" then comm-msg(c) if com-kind(c) =a "choose" then nmsg else lmsg fi Date html generated: 2015_07_23-AM-11_17_28 Last ObjectModification: 2012_02_25-PM-03_45_40 Home Index