X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fpretty.mli;h=36fd43039a5442937b8989d167fc58a1f6345b83;hp=9064f8abc0f5c2082a60d0e4989d8ce801f77626;hb=35abea737ead2d4fd121d0cb8bdbda38cfcaa8d3;hpb=974dacbf4f625bfd8ea83db69d6b346050141fea diff --git a/src/pretty.mli b/src/pretty.mli index 9064f8a..36fd430 100644 --- a/src/pretty.mli +++ b/src/pretty.mli @@ -13,10 +13,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - exception InvalidUtf8Codepoint of int val subscript : int -> string @@ -26,6 +22,7 @@ val up_arrow : string val right_arrow : string val left_arrow : string val epsilon : string +val bullet : string val big_sigma : string val cap : string val cup : string @@ -50,8 +47,12 @@ val pp_subscript : Format.formatter -> int -> unit val pp_superscript : Format.formatter -> int -> unit val pp_print_list : - ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit + ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) + -> Format.formatter -> 'a list -> unit val pp_print_array : - ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit -val print_list : ?sep:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit -val print_array : ?sep:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit + ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) + -> Format.formatter -> 'a array -> unit +val print_list : ?sep:string -> (Format.formatter -> 'a -> unit) + -> Format.formatter -> 'a list -> unit +val print_array : ?sep:string -> (Format.formatter -> 'a -> unit) + -> Format.formatter -> 'a array -> unit