Module type Record_builder.Partial_applicative_S2

type ('a, 'e) t
val map : ('a'et ‑> f:('a ‑> 'b) ‑> ('b'et
val both : ('a'et ‑> ('b'et ‑> ('a * 'b'et