Nuprl Definition : lookup-list-map-inDom
lookup-list-map-inDom(deqKey;key;m) == rec-case(m) of [] => ff | h::t => r.let k,v = h in (deqKey key k) ∨br
Definitions occuring in Statement :
list_ind: list_ind,
bor: p ∨bq,
bfalse: ff,
apply: f a,
spread: spread def
FDL editor aliases :
lookup-list-map-inDom
lookup-list-map-inDom(deqKey;key;m) ==
rec-case(m) of
[] => ff
h::t =>
r.let k,v = h
in (deqKey key k) \mvee{}\msubb{}r
Date html generated:
2015_07_17-AM-08_23_47
Last ObjectModification:
2014_09_08-PM-02_53_07
Home
Index