(module Kernel_function.Map)