cdv-argtype(dv) == let ts = cdv-types(dv) in k:
||ts|| 
bag(ts[k])
Definitions occuring in Statement :
cdv-types: cdv-types(dv),
select: l[i],
length: ||as||,
int_seg: {i..j
},
let: let,
function: x:A B[x],
natural_number: $n,
bag: bag(T)
Definitions :
let: let,
cdv-types: cdv-types(dv),
function: x:A B[x],
int_seg: {i..j},
natural_number: $n,
length: ||as||,
bag: bag(T),
select: l[i]
FDL editor aliases :
cdv-argtype
cdv-argtype(dv) == let ts = cdv-types(dv) in k:\mBbbN{}||ts|| {}\mrightarrow{} bag(ts[k])
Date html generated:
2011_08_17-PM-04_27_04
Last ObjectModification:
2011_01_18-AM-11_51_31
Home
Index