UF.Value
type t
type value
val unfold : value -> t -> (int * value list) option
val pp : Stdlib.Format.formatter -> value -> unit