sig
  val pass : ('a -> 'b) -> 'a -> 'b
  val print : 'a BatInnerIO.output -> exn -> unit
  val print_backtrace : 'a BatInnerIO.output -> unit
end