sig   type 'a t   val label : ('a BatReturn.t -> 'a) -> 'a   val with_label : ('a BatReturn.t -> 'a) -> 'a   val return : 'a BatReturn.t -> 'a -> 'b end