preface.make
Over_comonad.Syntax
preface
preface.core
preface.specs
preface.stdlib
type 'a t = 'a t
The type held by the Comonad.
Comonad
val (let@) : 'a t -> ('a t -> 'b) -> 'b t
Syntactic shortcuts for version of CORE.extend:
CORE.extend
let@ x = e in f is equals to extend f e.
let@ x = e in f
extend f e
val (let+) : 'a t -> ('a -> 'b) -> 'b t
Syntactic shortcuts for version of CORE.map
CORE.map