package jhupllib
-
jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package jhupllib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The type of a pretty-printing utility module for witness registries.
val pp_escorted_witness : escorted_witness Jhupllib_pp_utils.pretty_printerA pretty printer for escorted witnesses (given a pretty printer for their values.