package jhupllib

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

Module Pp_utils.Map_ppSource

A functor which generates a pretty printer for an existing functorized map module.

Parameters

module M : Batteries.Map.S
module P : Pp with type t = M.key

Signature

Sourceval pp : 'v pretty_printer -> 'v M.t pretty_printer
Sourceval show : 'v pretty_printer -> 'v M.t -> string