Functor SetMap.Proj2

module Proj2: functor (A : S) -> functor (B : S) -> functor (C : S) -> Projection2  with
  type elt_a = A.elt and type elt_b = B.elt and
type 'a map_a = 'a A.Map.t and type 'a map_b = 'a B.Map.t and
type elt_c = C.elt and type 'a map_c = 'a C.Map.t

Parameters:

`A`	:	`S`
`B`	:	`S`
`C`	:	`S`

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 ->
       'method_handler ->
       (elt_a -> elt_b) ->
       (elt_a -> elt_c) ->
       'b ->
       ('parameters -> 'method_handler -> 'b -> 'a -> 'method_handler * 'b) ->
       'a map_a ->
       'method_handler * 'b map_c map_b