The login home as an edge's back returns it: its identity, the data it
shows and its actions. The members are written one by one because the frame's
logIn answer refers back to this frame: the per-member form keeps that
recursion in a property, which the language allows, instead of a base type it
would have to resolve eagerly. The action key set is pinned to the
definition's own table (loginHomepageActions) below, so an action
added to the definition cannot be missing from the frame.
The login home as an edge's
backreturns it: its identity, the data it shows and its actions. The members are written one by one because the frame'slogInanswer refers back to this frame: the per-member form keeps that recursion in a property, which the language allows, instead of a base type it would have to resolve eagerly. The action key set is pinned to the definition's own table (loginHomepageActions) below, so an action added to the definition cannot be missing from the frame.