Cache_memory_helpers.SNodes
type t = private int
val zero : t
val one : t
val succ : t -> t
val add : t -> t -> t
val to_int : t -> int