Py_unparsing (u.4c6e5eb31b459a1dbb2baa4ee5fd1d97.diffast-langs-python.0.1.1.doc.diffast-langs-python.base.Python_base.Py

module Sourcecode = Diffast_core.Sourcecode

module Unparsing_base = Langs_common.Unparsing_base

Sourcemodule L = Py_label

module Tree : sig ... end

Sourcemodule Fmtr : sig ... end

module UPB : sig ... end

Sourceval indent_unit : int ref

Sourceval error_symbol : string

Sourceval pb : UPB.ppbox

Sourceval pr_comma : unit -> unit

Sourceval pr_eq : unit -> unit

Source

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

Sourceval pr_opt : ('a -> unit) -> 'a option -> unit

Sourceval pr_indent : int -> unit

Sourceval pr_name : string -> unit

Source

val getlab : 
  < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. > ->
  L.t

Source

val get_nth_children : 
  < children : 'a array ; data : < get_ordinal : int -> 'b.. >.. > ->
  'b ->
  'a array

Source

val pr_node : 
  ?fail_on_error:bool ->
  ?level:int ->
  (< children : 'a array
    ; data : 
      < _label : Obj.t
      ; get_ordinal : int -> int
      ; orig_lab_opt : Obj.t option.. >
    ; initial_children : 'a array.. > as 'a) ->
  unit

Source

val unparse : 
  ?no_boxing:bool ->
  ?no_header:bool ->
  ?fail_on_error:bool ->
  (< children : 'a array
    ; data : 
      < _label : Obj.t
      ; get_ordinal : int -> int
      ; orig_lab_opt : Obj.t option.. >
    ; initial_children : 'a array.. > as 'a) ->
  unit