Module Prtools

type pr_context = Pprintf.pr_context = {
  1. ind : int;
  2. bef : string;
  3. aft : string;
  4. dang : string;
}
type !'a pr_fun = 'a Pprintf.pr_fun
val comm_bef : int -> MLast.loc -> string
val hlist : 'a pr_fun -> 'a list pr_fun
val hlist2 : 'a pr_fun -> 'a pr_fun -> 'a list pr_fun
val hlistl : 'a pr_fun -> 'a pr_fun -> 'a list pr_fun
val vlist : 'a pr_fun -> 'a list pr_fun
val vlist2 : 'a pr_fun -> 'a pr_fun -> 'a list pr_fun
val vlist3 : ('a * bool) pr_fun -> ('a * bool) pr_fun -> 'a list pr_fun
val vlistl : 'a pr_fun -> 'a pr_fun -> 'a list pr_fun
val vlistf : (pr_context -> string) list pr_fun
val plist : 'a pr_fun -> int -> ('a * string) list pr_fun
val plistb : 'a pr_fun -> int -> ('a * string) list pr_fun
val plistl : 'a pr_fun -> 'a pr_fun -> int -> ('a * string) list pr_fun
val plistf : int -> ((pr_context -> string) * string) list pr_fun
val plistbf : int -> ((pr_context -> string) * string) list pr_fun
val hvlistl : 'a pr_fun -> 'a pr_fun -> 'a list pr_fun
val tab : int -> string
val expand_module_prefix : string -> (MLast.patt * 'a) list -> (MLast.patt * 'a) list -> (MLast.patt * 'a) list
val do_split_or_patterns_with_bindings : (MLast.patt * 'a * 'b) list -> (MLast.patt * 'a * 'b) list
val no_constructors_arity : bool ref