Module `Function_symbol.Pretty`

Parameters

module M : PRETTY_ARG

type 'a t = 'a M.t

type 'a pack = 'a M.pack

val pretty_destruct : 
  Stdlib.Format.formatter ->
  ('arg, 'a) function_symbol ->
  'arg pack ->
  unit

Pretty print a term that is destructured, i.e. given as a separate function symbol and a "pack" or arguments.