Module Wpo.Fmap

module Fmap: Kernel_function.Map