esharplet-rsh(x) ==
  case(x)
    var(name)=>
    basic(val)=>
    operator(name)=>
    fun(arg)=>rec1,rec2.
    lambda v1. body=>rec1.
    let lhs = rsh in body=> rec1,rec2.rsh)
Definitions occuring in Statement : 
esharp_exp_ind: esharp_exp_ind, 
it:
Definitions : 
esharp_exp_ind: esharp_exp_ind, 
it:
FDL editor aliases : 
esharplet-rsh
esharplet-rsh(x)  ==
    case(x)
        var(name)=>\mcdot{}
        basic(val)=>\mcdot{}
        operator(name)=>\mcdot{}
        fun(arg)=>rec1,rec2.\mcdot{}
        lambda  v1.  body=>rec1.\mcdot{}
        let  lhs  =  rsh  in  body=>  rec1,rec2.rsh)
Date html generated:
2011_08_17-PM-05_56_17
Last ObjectModification:
2011_02_03-PM-04_45_27
Home
Index