Module DerivationPrinter

module DerivationPrinter: sig .. end

This module provide a convenient way to print a typing derivation into a (supposedly) human-readable form.

val print_derivation : Derivations.derivation -> MzPprint.document

val pderivation : Buffer.t -> Derivations.derivation -> unit