preface

An opinionated library for function programming (à La Haskell)
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library preface.specs
type 'a t = 'a t

The type held by the Comonad.

val let@ : 'a t -> ( 'a t -> 'b ) -> 'b t

Syntactic shortcuts for version of CORE.extend:

let@ x = e in f is equals to extend f e.

val let+ : 'a t -> ( 'a -> 'b ) -> 'b t

Syntactic shortcuts for version of CORE.map