prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
type 'a m = 'a
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