The virtual type of the frames used in the execution engine

Property definitions

nitc $ NaiveInterpreter :: FRAME
	# The virtual type of the frames used in the execution engine
	type FRAME: Frame
src/interpreter/naive_interpreter.nit:388,2--389,18

nitc :: variables_numbering $ VirtualMachine :: FRAME
	# The frames of the VirtualMachine are specialized
	redef type FRAME: VmFrame
src/vm/variables_numbering.nit:24,2--25,26