Up
–
Index
»
gillian
»
Monadic
»
Delayed
» Syntax
Module
Delayed.Syntax
val
(let*) :
'a
t
->
(
'a
->
'b
t
)
->
'b
t
val
(let+) :
'a
t
->
(
'a
->
'b
)
->
'b
t