Projection2 (kappa-library.Kappa_data_structures.SetMap.Projection2)

type elt_a

type elt_b

type elt_c

type 'a map_a

type 'a map_b

type 'a map_c

val proj2 : 
  (elt_a -> elt_b) ->
  (elt_a -> elt_c) ->
  'b ->
  ('b -> 'a -> 'b) ->
  'a map_a ->
  'b map_c map_b

val proj2_monadic : 
  'parameters ->
  'exceptions_caught_and_uncaught ->
  (elt_a -> elt_b) ->
  (elt_a -> elt_c) ->
  'b ->
  ('parameters ->
    'exceptions_caught_and_uncaught ->
    'b ->
    'a ->
    'exceptions_caught_and_uncaught * 'b) ->
  'a map_a ->
  'exceptions_caught_and_uncaught * 'b map_c map_b