% $Id: finite_function.mod,v 1.1 2004/10/15 20:59:17 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.