Make.8-M
type 'a m
= 'a Repr.m
val seq : unit m -> (unit -> 'a m) -> 'a m
Non-binding sequencing construct.
val let* : 'a m -> ('a m -> 'b m) -> 'b m
Binding sequencing construct.
val unit : unit m