preface.make
Closed.F
preface
preface.core
preface.laws
preface.qcheck
preface.specs
preface.stdlib
type 'a t
The type held by the Functor.
Functor
val map : ('a -> 'b) -> 'a t -> 'b t
Mapping over t from 'a to 'b.
t
'a
'b