package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Function_symbol.PrettySource

Parameters

module M : PRETTY_ARG

Signature

Sourcetype 'a t = 'a M.t
Sourcetype 'a pack = 'a M.pack
Sourceval 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.