test-Isolation_1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% Register late query for `sizo_current`
	%-----------------------------------
	late(Target, SymbolSizo, (SizoAny), sizo_current(SizoAny)):-
	bind(Target, demand(sizo));
	Target=s(_, _, TargetS);
	scope_fnbody(TargetS, FnBody);
	latex_symbol(FnBody, sizo, SymbolSizo);
	virt_sizo(SizoAny).