module Eprinter:Extensible printers.sig
..end
This module allows creation of printers, apply them and clear them.
It is also used by the EXTEND_PRINTER
and pprintf
statements,
added by the pa_extprint.cmo
parsing kit.
type 'a
t
typepr_context =
Pprintf.pr_context
= {
|
ind : |
|
bef : |
|
aft : |
|
dang : |
val make : string -> 'a t
EXTEND_PRINTER
statement.val apply : 'a t -> pr_context -> 'a -> string
val apply_level : 'a t -> string -> pr_context -> 'a -> string
Failure
if the
given level does not exist.val clear : 'a t -> unit
val print : 'a t -> unit