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