Module With_return


module With_return: sig .. end


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