package preface

You can search for identifiers within the package.

in-package search v0.2.0

Module `Via_extend.Syntax`

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

Syntactic shortcuts for version of CORE.extend:

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

include Preface_specs.Indexed_functor.SYNTAX
  with type ('a, 'index) t := ('a, 'index) t

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

let operator for mapping.