package codept-lib

  1. Overview
  2. Docs
package codept-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Zipper_ppSource

Sourcetype dp = Format.formatter -> unit
Sourcetype 'a dprinter = 'a -> dp
Sourcemodule type Result_printer = sig ... end
Sourcemodule Make (Def : Zipper_def.s) (R : Result_printer with module T := Def.T) : sig ... end
Sourcemodule Opaque (Def : Zipper_def.s) : Result_printer with module T := Def.T