The evaluation map of type (B → B) → B → B. eval queries the function with a copy of the value argument and copies the function's answer to the result. ignore-fun skips the function and copies the value.
Type (B → B) → B → B
Enabling structure of the arena (each move drawn once). Hover a move for its role. Enabling.
Apply the function argument to the value argument.
Trace against auto. (stuck — Ω)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.
Ignore the function and copy the value argument.
Trace against auto. (truncated by bound)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.
The empty strategy Ω: Proponent never moves.
Trace against auto. (stuck — Ω)
P-view
Unfolding against every legal Opponent continuation, up to the page bound. O branches fan out; P is a single reply. Click a reply count to expand folded Opponent options.