package jhupllib

  1. Overview
  2. Docs

A functor to produce a pretty-printing utility module.

Parameters

module P : Jhupllib_pp_utils.Pp with type t = R.elt

Signature

A pretty printer for escorted witnesses (given a pretty printer for their values.