Module Finite_map.Fmap.S

module S: Set.S  with type elt = k