sig val to_string : exn -> string val pass : ('a -> 'b) -> 'a -> 'b val print : 'a Extlib.InnerIO.output -> exn -> unit val catch : ('a -> 'b) -> 'a -> 'b end