name-case(n;i,k.A[i; k];j,x.B[j; x]) ==
case n
of inl(ik) => let i,k:LocKnd = ik in A[i; k]
| inr(p) => let j,x = p in
B[j; x]
Definitions :
decide: case b of inl(x) => s[x] | inr(y) => t[y],
locknd-spread: let i,k:LocKnd = ik in P[i; k],
spread: spread def
FDL editor aliases :
name-case
name-case(n;i,k.A[i; k];j,x.B[j; x]) ==
case n of inl(ik) => let i,k:LocKnd = ik in A[i; k] | inr(p) => let j,x = p in B[j; x]
Date html generated:
2010_08_26-PM-11_42_44
Last ObjectModification:
2008_02_27-PM-09_35_34
Home
Index