Fixed and simplified logic in ++allowed-by.

This commit is contained in:
Fang 2018-02-13 19:47:17 +01:00
parent a6c6714c5d
commit 3b2543dfe8

View File

@ -2445,12 +2445,11 @@
|= {who/ship pax/path pes/regs} |= {who/ship pax/path pes/regs}
^- ? ^- ?
=+ rul=rul:(read-p-in pax pes) =+ rul=rul:(read-p-in pax pes)
=- =(0 -) =- ?:(?=($black mod.rul) !- -)
%+ mix ?=($black mod.rul)
%- ~(rep in who.rul) %- ~(rep in who.rul)
|= {w/whom h/?} |= {w/whom h/_|}
?: h & ?: h &
?: ?=($& -.w) =(w &+who) ?: ?=($& -.w) =(p.w who)
(~(has in (fall (~(get by cez) p.w) ~)) who) (~(has in (fall (~(get by cez) p.w) ~)) who)
:: ::
:: Checks for existence of a node at an aeon. :: Checks for existence of a node at an aeon.