sig
  type elt_a
  type elt_b
  type elt_c
  type 'a map_a
  type 'a map_b
  type 'a map_c
  val proj2 :
    (SetMap.Projection2.elt_a -> SetMap.Projection2.elt_b) ->
    (SetMap.Projection2.elt_a -> SetMap.Projection2.elt_c) ->
    'b ->
    ('b -> 'a -> 'b) ->
    'a SetMap.Projection2.map_a ->
    'b SetMap.Projection2.map_c SetMap.Projection2.map_b
  val proj2_monadic :
    'parameters ->
    'method_handler ->
    (SetMap.Projection2.elt_a -> SetMap.Projection2.elt_b) ->
    (SetMap.Projection2.elt_a -> SetMap.Projection2.elt_c) ->
    'b ->
    ('parameters -> 'method_handler -> 'b -> 'a -> 'method_handler * 'b) ->
    'a SetMap.Projection2.map_a ->
    'method_handler * 'b SetMap.Projection2.map_c SetMap.Projection2.map_b
end