preface.make
Functor.Operation
preface
preface.core
preface.specs
preface.stdlib
module Core : Preface_specs.Functor.CORE
type 'a t = 'a Core.t
The type held by the Functor.
Functor
val replace : 'a -> 'b t -> 'a t
Create a new 'a t, replacing all values in the 'b t by given a value of 'a.
'a t
'b t
'a
val void : 'a t -> unit t
Create a new unit t, replacing all values in the 'a t by unit.
unit t
unit