Up – Package index » goblint » Library goblint.lib » Goblint_lib » Printable » SimplePretty » P

Parameter `SimplePretty.P`

goblint

type t

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