Nuprl Definition : nysiad_headers_no_inputs_types
nysiad_headers_no_inputs_types(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
[<readyhdr, Id>; <add2baghdr, Message(mf) × Id? × Id>; <addwaitinghdr, Message(mf) × Id? × Id>; <adeliverhdr, Id × Mes\000Csage(mf)>; <tooarcasthdr, Message(mf) × Id? × Id>]
Definitions occuring in Statement :
Message: Message(f),
Id: Id,
cons: [a / b],
nil: [],
unit: Unit,
pair: <a, b>,
product: x:A × B[x],
union: left + right
FDL editor aliases :
nysiad_headers_no_inputs_types
Latex:
nysiad\_headers\_no\_inputs\_types(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf) ==
[<readyhdr, Id> <add2baghdr, Message(mf) \mtimes{} Id? \mtimes{} Id> <addwaitinghdr, Message(mf) \mtimes{} Id? \mtimes{} Id> <a\000Cdeliverhdr, Id \mtimes{} Message(mf)> <tooarcasthdr, Message(mf) \mtimes{} Id? \mtimes{} Id>]
Date html generated:
2015_07_23-PM-03_48_46
Last ObjectModification:
2014_08_06-PM-03_37_18
Home
Index