Ast (ocamlformat-lib.Ocamlformat

val init : Ocamlformat_lib.Conf.t -> Ocamlformat_stdlib.unit

module Attr : sig ... end

module Ext : sig ... end

module Token : sig ... end

module Exp : sig ... end

val doc_atrs : 
  ?acc:
    (Ocamlformat_stdlib.string Ocamlformat_lib.Migrate_ast.Location.loc
     * Ocamlformat_stdlib.bool)
      Ocamlformat_stdlib.list ->
  Ocamlformat_lib.Extended_ast.attributes ->
  (Ocamlformat_stdlib.string Ocamlformat_lib.Migrate_ast.Location.loc
   * Ocamlformat_stdlib.bool)
    Ocamlformat_stdlib.list
    Ocamlformat_stdlib.option
  * Ocamlformat_lib.Extended_ast.attributes

type cmt_checker = {

cmts_before : Ocamlformat_lib.Migrate_ast.Location.t -> Ocamlformat_stdlib.bool;
cmts_within : Ocamlformat_lib.Migrate_ast.Location.t -> Ocamlformat_stdlib.bool;
cmts_after : Ocamlformat_lib.Migrate_ast.Location.t -> Ocamlformat_stdlib.bool;

}

module Pat : sig ... end

module Mod : sig ... end

module Mty : sig ... end

module Cl : sig ... end

module Cty : sig ... end

module Tyd : sig ... end

type toplevel_item = [

| `Directive of Ocamlformat_lib.Extended_ast.toplevel_directive
| `Item of Ocamlformat_lib.Extended_ast.structure_item

]

type t =

| Pld of Ocamlformat_lib.Extended_ast.payload
| Typ of Ocamlformat_lib.Extended_ast.core_type
| Td of Ocamlformat_lib.Extended_ast.type_declaration
| Cty of Ocamlformat_lib.Extended_ast.class_type
| Pat of Ocamlformat_lib.Extended_ast.pattern
| Exp of Ocamlformat_lib.Extended_ast.expression
| Lb of Ocamlformat_lib.Extended_ast.value_binding
| Mb of Ocamlformat_lib.Extended_ast.module_binding
| Md of Ocamlformat_lib.Extended_ast.module_declaration
| Cl of Ocamlformat_lib.Extended_ast.class_expr
| Mty of Ocamlformat_lib.Extended_ast.module_type
| Mod of Ocamlformat_lib.Extended_ast.module_expr
| Sig of Ocamlformat_lib.Extended_ast.signature_item
| Str of Ocamlformat_lib.Extended_ast.structure_item
| Clf of Ocamlformat_lib.Extended_ast.class_field
| Ctf of Ocamlformat_lib.Extended_ast.class_type_field
| Tli of toplevel_item
| Top
| Rep

val is_top : t -> Ocamlformat_stdlib.bool

val break_between : 
  Ocamlformat_lib.Source.t ->
  cmt_checker ->
  (t * Ocamlformat_lib.Conf.t) ->
  (t * Ocamlformat_lib.Conf.t) ->
  Ocamlformat_stdlib.bool

val attributes : t -> Ocamlformat_lib.Extended_ast.attributes

val location : t -> Ocamlformat_lib.Migrate_ast.Location.t

val dump : Ocamlformat_stdlib.Format.formatter -> t -> Ocamlformat_stdlib.unit

type !'a xt = private {

ctx : t;
ast : 'a;

}

val sub_typ : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.core_type ->
  Ocamlformat_lib.Extended_ast.core_type xt

val sub_td : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.type_declaration ->
  Ocamlformat_lib.Extended_ast.type_declaration xt

val sub_cty : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.class_type ->
  Ocamlformat_lib.Extended_ast.class_type xt

val sub_pat : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.pattern ->
  Ocamlformat_lib.Extended_ast.pattern xt

val sub_exp : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.expression ->
  Ocamlformat_lib.Extended_ast.expression xt

val sub_cl : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.class_expr ->
  Ocamlformat_lib.Extended_ast.class_expr xt

val sub_cf : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.class_field ->
  Ocamlformat_lib.Extended_ast.class_field xt

val sub_ctf : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.class_type_field ->
  Ocamlformat_lib.Extended_ast.class_type_field xt

val sub_mty : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.module_type ->
  Ocamlformat_lib.Extended_ast.module_type xt

val sub_mod : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.module_expr ->
  Ocamlformat_lib.Extended_ast.module_expr xt

val sub_md : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.module_declaration ->
  Ocamlformat_lib.Extended_ast.module_declaration xt

val sub_mb : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.module_binding ->
  Ocamlformat_lib.Extended_ast.module_binding xt

val sub_sig : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.signature_item ->
  Ocamlformat_lib.Extended_ast.signature_item xt

val sub_str : 
  ctx:t ->
  Ocamlformat_lib.Extended_ast.structure_item ->
  Ocamlformat_lib.Extended_ast.structure_item xt

val is_simple : 
  Ocamlformat_lib.Conf.t ->
  (Ocamlformat_lib.Extended_ast.expression xt -> Ocamlformat_stdlib.int) ->
  Ocamlformat_lib.Extended_ast.expression xt ->
  Ocamlformat_stdlib.bool

type cls =

| Let_match
| Match
| Non_apply
| Sequence
| Then
| ThenElse

val exposed_right_exp : 
  cls ->
  Ocamlformat_lib.Extended_ast.expression ->
  Ocamlformat_stdlib.bool

val prec_ast : t -> Ocamlformat_lib.Prec.t Ocamlformat_stdlib.option

val parenze_typ : 
  Ocamlformat_lib.Extended_ast.core_type xt ->
  Ocamlformat_stdlib.bool

val parenze_cty : 
  Ocamlformat_lib.Extended_ast.class_type xt ->
  Ocamlformat_stdlib.bool

val parenze_cl : 
  Ocamlformat_lib.Extended_ast.class_expr xt ->
  Ocamlformat_stdlib.bool

val parenze_pat : 
  Ocamlformat_lib.Extended_ast.pattern xt ->
  Ocamlformat_stdlib.bool

val parenze_exp : 
  Ocamlformat_lib.Extended_ast.expression xt ->
  Ocamlformat_stdlib.bool

val parenze_nested_exp : 
  Ocamlformat_lib.Extended_ast.expression xt ->
  Ocamlformat_stdlib.bool

val parenze_mty : 
  Ocamlformat_lib.Extended_ast.module_type xt ->
  Ocamlformat_stdlib.bool

val parenze_mod : 
  Ocamlformat_lib.Extended_ast.module_expr xt ->
  Ocamlformat_stdlib.bool