Nuprl Definition : new_23_sig_headers_no_inputs_types
new_23_sig_headers_no_inputs_types(Cmd;notify) ==
[<``new_23_sig vote``, ℤ × ℤ × Cmd × Id>; <``new_23_sig retry``, ℤ × ℤ × Cmd>; <``new_23_sig decided``, ℤ × Cmd>; <not\000Cify, ℤ × Cmd>]
Definitions occuring in Statement :
Id: Id,
cons: [a / b],
nil: [],
pair: <a, b>,
product: x:A × B[x],
int: ℤ,
token: "$token"
FDL editor aliases :
new_23_sig_headers_no_inputs_types
Latex:
new\_23\_sig\_headers\_no\_inputs\_types(Cmd;notify) ==
[<``new\_23\_sig vote``, \mBbbZ{} \mtimes{} \mBbbZ{} \mtimes{} Cmd \mtimes{} Id> <``new\_23\_sig retry``, \mBbbZ{} \mtimes{} \mBbbZ{} \mtimes{} Cmd> <``new\_23\_sig decid\000Ced``, \mBbbZ{} \mtimes{} Cmd> <notify, \mBbbZ{} \mtimes{} Cmd>]
Date html generated:
2015_07_23-PM-03_52_49
Last ObjectModification:
2013_11_23-PM-09_57_01
Home
Index