Parameter Run_and_check_deferred.1-M

type _ t
val return : 'a -> 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t