Parameter SimplePretty.P

type t
val pretty : unit -> t -> Pretty.doc