Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Sample.Syntax
Sourcelet* x = s in body
is the same as bind s (fun x -> body)
.
let+ x = s in body
is the same as map (fun x -> body) s
.
let* x = s1 and* y = s2 in body
is the same as bind s1 (fun x -> bind s2 (fun y -> body)