src/pretty.mli

   1 exception InvalidUtf8Codepoint of int
   2
   3 val subscript : int -> string
   4 val superscript : int -> string
   5 val down_arrow : string
   6 val up_arrow : string
   7 val right_arrow : string
   8 val left_arrow : string
   9 val epsilon : string
  10 val cap : string
  11 val cup : string
  12 val lnot : string
  13 val wedge : string
  14 val vee : string
  15 val top : string
  16 val bottom : string
  17 val dummy : string
  18 val double_right_arrow : string
  19 val overline : string -> string
  20 val underline : string -> string
  21 val strike : string -> string
  22 val padding : int -> string
  23 val line : int -> string
  24 val length : string -> int
  25 val pp_overline : Format.formatter -> string -> unit
  26 val pp_underline : Format.formatter -> string -> unit
  27 val pp_strike : Format.formatter -> string -> unit
  28 val pp_subscript : Format.formatter -> int -> unit
  29 val pp_superscript : Format.formatter -> int -> unit
  30
  31 val pp_print_list :
  32   ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
  33 val pp_print_array :
  34   ?sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit
  35 val print_list : ?sep:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
  36 val print_array : ?sep:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a array -> unit