Core_over_functor.Req
type ('a, 'index) t = ('a, 'index) Functor.t
A type ('a, 'index) t held by the Alt.
('a, 'index) t
Alt
val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t
Combine two values of t into one.
t