Sampling_helpers.M
val let* : 'a sampler -> ('a -> 'b sampler) -> 'b sampler
val bind : 'a sampler -> ('a -> 'b sampler) -> 'b sampler
val return : 'a -> 'b -> 'c