ppbox (u.7d9ee48f3891d223868c4657a3646583.diffast-langs-java.0.3.6.doc.diffast-langs-java.base.Java_base.Java

method boxing_flag : bool

method close_box : unit -> unit

method disable_backslash_newline : unit -> unit

method disable_boxing : unit -> unit

method enable_backslash_newline : unit -> unit

method enable_boxing : unit -> unit

method indent : int

method open_box : int -> unit

method open_hbox : unit -> unit

method open_hovbox : int -> unit

method open_hvbox : int -> unit

method open_vbox : int -> unit

method pr_a : 'a. ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit

method pr_block_begin : block_style -> unit

method pr_block_begin_short : unit -> unit

method pr_block_begin_tall : unit -> unit

method pr_block_end : unit -> unit

method pr_ha : 'a. ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit

method pr_hova : 'a. ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit

method pr_hva : 'a. ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit

method pr_va : 'a. ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit