functor (M : Map.S) ->
  sig
    val of_map : 'a M.t -> (M.key * 'a) CCLinq.t
    val to_pmap : 'a M.t -> (M.key, 'a) CCLinq.PMap.t
    val to_map : (M.key * 'a) CCLinq.t -> 'a M.t CCLinq.t
    val run : (M.key * 'a) CCLinq.t -> 'a M.t
  end