Struct timi::machine::MachineOptions

pub struct MachineOptions {
    pub update_heap_on_sc_eval: bool,
}

Options used to configure the machine

Fields

update_heap_on_sc_eval: bool

controls whether a function application node should be rewritten with the final value after evaluation.

Enable this to see the use of Indirection nodes.

Trait Implementations

impl Clone for MachineOptions

fn clone(&self) -> MachineOptions

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.