Indexed_alt.Core
module Req : Preface_specs.Indexed_alt.WITH_COMBINE_AND_MAP
type ('a, 'index) t = ('a, 'index) Req.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
val map : ('a -> 'b) -> ('a, 'index) t -> ('b, 'index) t
Mapping over t from 'a to 'b.
'a
'b