---

esharpapply?(x) ==
  case(x)
    var(name)=>ff
    basic(val)=>ff
    operator(name)=>ff
    fun(arg)=>rec1,rec2.tt
    lambda v1. body=>rec1.ff
    let lhs = rsh in body=> rec1,rec2.ff)

---

Definitions occuring in Statement :  esharp_exp_ind: esharp_exp_ind,  bfalse: ff,  btrue: tt
Definitions :  esharp_exp_ind: esharp_exp_ind,  btrue: tt,  bfalse: ff
FDL editor aliases :  esharpapply?

---

esharpapply?(x)  ==
    case(x)
        var(name)=>ff
        basic(val)=>ff
        operator(name)=>ff
        fun(arg)=>rec1,rec2.tt
        lambda  v1.  body=>rec1.ff
        let  lhs  =  rsh  in  body=>  rec1,rec2.ff)


Date html generated: 2011_08_17-PM-05_52_54
Last ObjectModification: 2011_02_03-PM-04_41_13

Home Index