ecs/xsystem

(defstruct XSystem [])

a runnable two-world bundle. Each slot (w0, w1) carries

Since: X2

(make-xsystem)

bundle a top-level two-world run-fn with its

Since: X2

(xsystem-w0-reads [s : XSystem] :)

Field accessors.

Since: X2

(xsystem-w0-writes [s : XSystem] :)

(xsystem-w1-reads [s : XSystem] :)

(xsystem-w1-writes [s : XSystem] :)

(xsystem-run-fn [s : XSystem] :)

(xsm-alloc [n : int] :)

===========================================================================

Since: N-W-V0

(xsm-set! [p : int i : int v : int] :)

store `v` at index `i` of the int64 array at `p`.

Since: N-W-V0

(xsm-get [p : int i : int] :)

load index `i` of the int64 array at `p`.

Since: N-W-V0

(xsm-free [p : int] :)

release an int64 array previously `xsm-alloc`'d.

Since: N-W-V0

(defstruct XSystemN [])

a runnable N-world bundle. `n` is the world count;

Since: N-W-V0

(make-xsystem-n)

bundle an N-world run-fn with its mask arrays.

Since: N-W-V0

(xsystemn-n [s : XSystemN] :)

Field accessors.

Since: N-W-V0

(xsystemn-reads [s : XSystemN] :)

(xsystemn-writes [s : XSystemN] :)

(xsystemn-run-fn [s : XSystemN] :)

(xsystem--with-write-caps [body wbind wtype comps])

wrap `body` in a let-chain binding

(xsystem--with-read-caps [body wbind wtype comps])

wrap `body` in a let-chain binding

(xsystem--consume-write-caps [wbind comps])

emit `(use-cap! <wbind>-<Comp>-write-cap)`

(defxsystem [name worlds & clauses])

declare a cross-world System and its implementation.

Since: X2 (CLAUSE-V0: any clause order, empties omittable;