Parameter Naive.Y

type t
val pp : Stdlib.Format.formatter -> t -> unit