Nuprl Definition : max_exch_headers_no_inputs
max_exch_headers_no_inputs() == [``max_exch exchange``]
Definitions occuring in Statement :
cons: [car / cdr],
nil: [],
token: "$token"
FDL editor aliases :
max_exch_headers_no_inputs
max\_exch\_headers\_no\_inputs() == [``max\_exch exchange``]
Date html generated:
2012_02_20-PM-05_17_53
Last ObjectModification:
2012_02_17-PM-03_06_05
Home
Index