Struct GameArena 

pub struct GameArena { /* private fields */ }

A simple game-semantics arena: tracks questions and answers for a thunk-like computation.

In game semantics, evaluation of Thunk α corresponds to a two-player game where Opponent asks “what is the value?” and Proponent answers with α. This struct tracks that dialogue.

Implementations

impl GameArena

pub fn new() -> Self

Create an empty arena.

pub fn ask(&mut self) -> usize

Opponent asks a question; returns the question index.

pub fn answer(&mut self, q: usize, v: impl Into<String>)

Proponent answers question q with value v.

pub fn get_answer(&self, q: usize) -> Option<&str>

Find the answer to question q, if any.

pub fn move_count(&self) -> usize

Number of moves played.

pub fn is_complete(&self) -> bool

Check if the game is “complete” (every question has an answer).

Trait Implementations

impl Default for GameArena

fn default() -> Self

Returns the “default value” for a type.