Up
—
package
incremental_kernel
Parameter
Incremental_kernel__.Node.Packed.As_list.1-M
val
next :
t
‑>
t
Incremental_kernel__.Uopt.t