Module Term.Pretty

Parameters

module M : Pretty_Arg

Signature

type 'a t = 'a M.t
type 'a pack = 'a M.pack
val pretty_destruct : Stdlib.Format.formatter -> ('arg, 'a) term -> 'arg pack -> unit