Functor.Infixmodule Core : Preface_specs.Functor.COREmodule Operation : Preface_specs.Functor.OPERATION with type 'a t = 'a Core.ttype 'a t = 'a Core.tThe type held by the Functor.
Infix version of Preface_specs.Functor.CORE.map.
Flipped and infix version of Preface_specs.Functor.CORE.map.
Infix version of Preface_specs.Functor.OPERATION.replace.
Flipped and infix version of Preface_specs.Functor.OPERATION.replace.