Nuprl Definition : esharpop-name
esharpop-name(x) ==
case(x)
var(name)=>
basic(val)=>
operator(name)=>name
fun(arg)=>rec1,rec2.
lambda v1. body=>rec1.
let lhs = rsh in body=> rec1,rec2.)
Proof not projected
Definitions occuring in Statement :
esharp_exp_ind: esharp_exp_ind,
it:
Definitions :
esharp_exp_ind: esharp_exp_ind,
it:
FDL editor aliases :
esharpop-name
esharpop-name(x) ==
case(x)
var(name)=>\mcdot{}
basic(val)=>\mcdot{}
operator(name)=>name
fun(arg)=>rec1,rec2.\mcdot{}
lambda v1. body=>rec1.\mcdot{}
let lhs = rsh in body=> rec1,rec2.\mcdot{})
Date html generated:
2011_10_20-PM-03_30_21
Last ObjectModification:
2011_02_03-PM-04_40_41
Home
Index