package jhupllib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package jhupllib

jhupllib
- Jhupllib
  - Eager_nondeterminism
    
    Nondeterminism_monad
    
    Nondeterminism_monad_sig
  - Logger_utils
  - Monads
    
    MakeUtils
    
    M
    
    Monad
    
    MonadPlus
    
    MonadPlusWithUtils
    
    MonadWithUtils
    
    Utils
  - Multimap
    
    Make
    
    Key_ord
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    Value_ord
    
    Multimap_sig
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
  - Multimap_pp
    
    Make
    
    K_pp
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_pp
  - Multimap_to_yojson
    
    Make
    
    K_yojson
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_yojson
  - Nondeterminism
    
    Nondeterminism_monad
    
    Nondeterminism_monad_sig
  - Pp_utils
    
    Map_pp
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    P
    
    Pp
    
    Set_pp
    
    P
    
    S
    
    Exceptionless
    
    Labels
  - String_utils
  - Uids
    
    Make
    
    Uid_module
  - Utils
  - Witness_protection
    
    Escorted_registry
    
    Make
    
    S
    
    Make_escorted
    
    S
    
    Make_pp
    
    P
    
    R
    
    Make_to_yojson
    
    R
    
    Y
    
    Pp_utils
    
    Registry
    
    Spec
    
    To_yojson_utils
  - Yojson_utils
    
    Map_to_yojson
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    Y
    
    Set_to_yojson
    
    S
    
    Exceptionless
    
    Labels
    
    Y
    
    To_yojson_type

Legend:
Library
Module
Module type
Parameter
Class
Class type

A functor to produce a pretty-printing utility module.

Parameters

module R : Escorted_registry

module Y : Yojson_utils.To_yojson_type with type t = R.elt

Signature

val escorted_witness_to_yojson : R.escorted_witness -> Yojson.Safe.t

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