Autocomp.SM
type 'a t = 'a Mavryk_benchmark_type_inference_alpha.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_alpha.Inference.M.t Sampling_helpers.sampler
val deterministic : 'a Mavryk_benchmark_type_inference_alpha.Inference.M.t -> 'a t
val return : 'a -> 'b -> 'c -> 'd * 'e