package diffast-langs-common

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

method boxing_flag : bool

method enable_boxing : unit -> unit

method disable_boxing : unit -> unit

method private checkpoint_box : unit -> box list

method close_box : unit -> unit

method disable_backslash_newline : unit -> unit

method enable_backslash_newline : unit -> unit

method private enter_box : box -> unit

method private exit_box : unit -> unit

method indent : int

method open_box : int -> unit

method open_hbox : unit -> unit

method open_vbox : int -> unit

method open_hvbox : int -> unit

method open_hovbox : int -> unit

method pr_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 : ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  (unit -> unit) ->
  ('a -> unit) ->
  'a array ->
  unit

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

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

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

method private reset_box : unit -> unit

method private restore_box : box list -> unit