Many.Of_applicative3
A : sig ... end
val of_many : ('bt, 'a, 'b) t -> access:('a -> ('b, 'd, 'e) A.t) -> ('bt, 'd, 'e) A.t