---

i  locs(s) ==  null(s@i)

---

Definitions :  not: A,  assert: b,  null: null(as),  es-fset-at: s@i
FDL editor aliases :  es-fset-loc

---

i  \mmember{}  locs(s)  ==    \mneg{}\muparrow{}null(s@i)


Date html generated: 2010_08_27-AM-09_38_31
Last ObjectModification: 2009_12_16-AM-08_47_53

Home Index