val map : ('a, 's, 'ids) t ‑> f:('a ‑> 'b) ‑> ('b, 's, 'ids) t
val both : ('a, 's, 'a_id) t ‑> ('b, 's, 'b_id) t ‑> ('a * 'b, 's, 'a_id * 'b_id) t
module Open_on_rhs : sig ... end