sig val ( ^^^ ) : BatRope.t -> BatRope.t -> BatRope.t end