let real_length ra = Impl.length ra.ar