% $Id: finite_function.mod,v 1.2 2007/05/10 05:51:45 leavens Exp $
module finite_function.

  f_fun_apply (f_fun_extend DomainElem Res FF) DomainElem Res :- !.
  f_fun_apply (f_fun_extend DomainElem Res FF) X Y :-
  	f_fun_apply FF X Y.
  
  f_fun_in_domain (f_fun_extend DomainElem Res FF) DomainElem :- !.
  f_fun_in_domain (f_fun_extend DomainElem Res FF) X :-
  	f_fun_in_domain FF X.

end