let
irope_set = to_format (
BatSet
.
IRopeSet
.print
BatRope
.print)