Type Definition RopeDelta
xi_rope::rope
type RopeDelta = Delta<RopeInfo>;
Represents a transform from one rope to another.