polymorphism.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	%INPUT
	% bind(Symb, callguard(..)) - binded Ann
	%
	%OUTPUT
	% dfa_callguard(..) - ready for processing

	dfa_callguard(SymbRet, Guard):-
	bind(ArgActual, callguard(Guard));
	weak(dfa_callargs(SymbRet, _, ArgActual));
	bind(SymbRet, dfa_polym(arg)).

	dfa_callguard(SymbRet, Guard):-
	bind(SymbRet, callguard(Guard));
	bind(SymbRet, dfa_polym(ret)).