Nuprl Definition : list-index-cmp
list-index-cmp(eq;L;f) == int-minus-comparison(λx.outl(list-index(eq;L;f x)))
Definitions occuring in Statement :
list-index: list-index(d;L;x),
int-minus-comparison: int-minus-comparison(f),
outl: outl(x),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
int-minus-comparison: int-minus-comparison(f),
lambda: λx.A[x],
outl: outl(x),
list-index: list-index(d;L;x),
apply: f a
FDL editor aliases :
list-index-cmp
Latex:
list-index-cmp(eq;L;f) == int-minus-comparison(\mlambda{}x.outl(list-index(eq;L;f x)))
Date html generated:
2016_05_14-PM-03_30_35
Last ObjectModification:
2015_09_22-PM-05_59_52
Theory : decidable!equality
Home
Index