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