package prbnmcn-proptest

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.