package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Function_symbol.Pretty`Source

module M : PRETTY_ARG

Sourcetype 'a t = 'a M.t

Sourcetype 'a pack = 'a M.pack

val pretty_destruct : 
  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.