Base.With_return
type !-'a return = private {
return : 'b. 'a -> 'b;
}
val with_return : ('a return -> 'a) -> 'a
val with_return_option : ('a return -> unit) -> 'a option
val prepend : 'a return -> f:('b -> 'a) -> 'b return