SM (mavryk-benchmark-001-PtAtLas.Mavryk_benchmark_001

type 'a t =
  'a Mavryk_benchmark_type_inference_001_PtAtLas.Inference.M.t
    Sampling_helpers.sampler

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

val sample : 
  'a Sampling_helpers.sampler ->
  'a Mavryk_benchmark_type_inference_001_PtAtLas.Inference.M.t
    Sampling_helpers.sampler

val deterministic : 
  'a Mavryk_benchmark_type_inference_001_PtAtLas.Inference.M.t ->
  'a t

val return : 'a -> 'b -> 'c -> 'd * 'e