method
private
add_cycle s = cycle <-
Kernel_function
.
Hptset
.union s cycle