Nuprl Definition : norep2_Leader
norep2_Leader(client;store1;store2) == norep2_req'base() >z> norep2_Handler(client;store1;store2) z
Definitions occuring in Statement :
norep2_Handler: norep2_Handler(client;store1;store2),
norep2_req'base: norep2_req'base(),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
norep2_Leader
norep2\_Leader(client;store1;store2) == norep2\_req'base() >z> norep2\_Handler(client;store1;store2) z
Date html generated:
2012_02_20-PM-03_37_28
Last ObjectModification:
2012_02_02-PM-01_57_26
Home
Index