Module With_return

module With_return: sig .. end

type 'a return = private {
   return :'b. 'a -> 'b;
}
val with_return : ('a return -> 'a) -> 'a