Indexed_alt.Infix
module Core : Preface_specs.Indexed_alt.CORE
module Operation :
Preface_specs.Indexed_alt.OPERATION
with type ('a, 'index) t = ('a, 'index) Core.t
type ('a, 'index) t = ('a, 'index) Core.t
A type ('a, 'index) t
which is an Alt
.
Infix version of CORE
.map.
Flipped and infix version of CORE
.map.
Flipped and infix version of OPERATION
.replace.