Module rho_path

Module rho_path 

Source

Structsยง

RhoPath
$P_0 =$ init, $P_{i+1} = next(P_i)$