mutable
cycle =
Kernel_function
.
Hptset
.empty