menu
miniscript package
documentation
miniscript_tac/machine.dart
Machine
pushContext method
pushContext method
dark_mode
light_mode
pushContext
method
void
pushContext
(
Context
context
)
Implementation
void pushContext(Context context) { stack.add(context); context = context; }
miniscript package
documentation
miniscript_tac/machine
Machine
pushContext method
Machine class