Module Eprinter

type 'a t
type pr_context = Pprintf.pr_context = {
  1. ind : int;
  2. bef : string;
  3. aft : string;
  4. dang : string;
}
val make : ?fail:('a -> string) -> string -> 'a t
val apply : 'a t -> pr_context -> 'a -> string
val apply_level : 'a t -> string -> pr_context -> 'a -> string
val clear : 'a t -> unit
val print : 'a t -> unit
type position =
  1. | First
  2. | Last
  3. | Before of string
  4. | After of string
  5. | Level of string
type !'a pr_fun = 'a Pprintf.pr_fun
type 'a pr_rule = ('a, 'a pr_fun -> 'a pr_fun -> 'a pr_fun -> (fail:(unit -> string) -> 'a pr_fun) -> pr_context -> string) Extfun.t
val extend : 'a t -> position option -> (string option * ('a pr_rule -> 'a pr_rule)) list -> unit