package jhupllib

  1. Overview
  2. Docs
package jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type

The type of a pretty-printing utility module for witness registries.

type escorted_witness
val pp_escorted_witness : escorted_witness Pp_utils.pretty_printer

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