Indexed_alt.Infixmodule Core : Preface_specs.Indexed_alt.COREmodule Operation :
Preface_specs.Indexed_alt.OPERATION
with type ('a, 'index) t = ('a, 'index) Core.ttype ('a, 'index) t = ('a, 'index) Core.tA 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.