Source

// What effects depend on: tracked when read inside one, notifying its observers when written.
public class System.Reactive.Source : System.Any
{
    static field made: i64
    // Its observers in the order they began to observe; an effect that stops leaves a null slot (taken out together
    // by Compact once they are half of them), so adding or removing one is a step, not a search.
    field observers: System.List<System.Reactive.Effect?>
    // For each slot, where this source is in its effect's list of sources.
    field backs: System.List<i32>
    field live: i32
    // The effect, and which of its runs, that tracked it last: reading it again in that run is found at once.
    field markEffect: System.Reactive.Effect?
    field markRun: i64
    // Its number (Effect keeps the numbers of its sources in a set once it has many).
    field Id: i64
    // Takes out the null slots, keeping the order, and tells each effect that moves its new slot.
    method Compact() -> void
    // Makes the running effect (if any) an observer.
    method Track() -> void
    static method NextId() -> i64
    // The effect in `slot` no longer observes it.
    method Unlink(slot: i32) -> void
    // Runs every observer again (once each, at the end of a batch).
    method Notify() -> void
    // The number of effects it runs.
    property Observers: i32
}