Module Univ_map

module Univ_map: sig .. end

include Core_kernel.Univ_map