Module Register.Fmap

module Fmap: Kernel_function.Map