Lines Matching defs:pop
525 local fun pop (tm as Bv i, k) =
527 | pop (Comb(Rator,Rand),k) = Comb(pop(Rator,k), pop(Rand,k))
528 | pop (Abs(v,Body), k) = Abs(v,pop(Body, k+1))
529 | pop (tm as Clos _, k) = pop (push_clos tm, k)
530 | pop (tm,k) = tm
531 fun eta_body (Comb(Rator,Bv 0)) = pop (Rator,0)