module domains.
  accumulate finite_function. % see the signature 
end