Ppx_bitstring (p.bitstring.3.0.0.doc.ppx_bitstring.Ppx

val ocaml_version : 
  Migrate_parsetree.Versions.OCaml_405.types
    Migrate_parsetree.Versions.ocaml_version

module Entity : sig ... end

module Context : sig ... end

module Type : sig ... end

module Sign : sig ... end

module Endian : sig ... end

module Qualifiers : sig ... end

module MatchField : sig ... end

val location_exn : loc:Migrate_parsetree.Ast_405.Location.t -> string -> 'a

val split_string : on:string -> string -> string list

val option_bind : 'a option -> ('a -> 'b option) -> 'b option

val process_expr_loc : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val parse_expr : 
  string Migrate_parsetree.Ast_405.Asttypes.loc ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val process_pat_loc : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Migrate_parsetree.Ast_405.Parsetree.pattern ->
  Migrate_parsetree.Ast_405.Parsetree.pattern

val parse_pattern : 
  string Migrate_parsetree.Ast_405.Asttypes.loc ->
  Migrate_parsetree.Ast_405.Parsetree.pattern

val find_loc_boundaries : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  int ->
  int list ->
  Migrate_parsetree.Ast_405.Location.t * Migrate_parsetree.Ast_405.Location.t

val split_loc_rec : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  string list ->
  Migrate_parsetree.Ast_405.Location.t list

val split_loc : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  string list ->
  string Migrate_parsetree.Ast_405.Location.loc list

val check_map_functor : 
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression option

val process_qual : 
  Qualifiers.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Qualifiers.t

val parse_quals : string Migrate_parsetree.Ast_405.Asttypes.loc -> Qualifiers.t

val evaluate_expr : 
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  int option

val parse_match_fields : 
  string Migrate_parsetree.Ast_405.Asttypes.loc ->
  MatchField.t

val parse_const_fields : 
  string Migrate_parsetree.Ast_405.Asttypes.loc ->
  Migrate_parsetree.Ast_405.Parsetree.expression
  * Migrate_parsetree.Ast_405.Parsetree.expression option
  * Qualifiers.t option

val check_field_len : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  MatchField.tuple ->
  int option

val get_inttype : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  fastpath:bool ->
  int ->
  string

val gen_int_extractor_static : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  int ->
  Sign.t ->
  Endian.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_int_extractor_dynamic : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  int ->
  Sign.t ->
  Endian.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_int_extractor : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  MatchField.tuple ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_extractor : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  MatchField.tuple ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_value : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  MatchField.tuple ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_next : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_next_all : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_match_check : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  Migrate_parsetree.Ast_405.Parsetree.expression option ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_match : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_offset : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_offset_saver : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_unbound_string : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_bound_bitstring : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_bound_string : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_bound_int_with_size : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_bound_int : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_fields_with_quals_by_type : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_fields_with_quals : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  MatchField.tuple ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_fields : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * string option) ->
  MatchField.t list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val is_field_size_open_ended : ('a * int option) -> bool

val check_for_open_endedness : MatchField.t list -> MatchField.t list

val mark_optimized_fastpath : MatchField.t list -> MatchField.t list

val gen_case_constant : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Context.t ->
  Context.t ->
  Entity.t ->
  Migrate_parsetree.Ast_405.Parsetree.case ->
  string ->
  string option ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_case : 
  Context.t ->
  Context.t ->
  Entity.t ->
  Migrate_parsetree.Ast_405.Parsetree.case ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_cases_sequence : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_cases : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.case list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_function : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  Migrate_parsetree.Ast_405.Parsetree.case list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_exn : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_bitstring : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_string : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val get_1_bit_constr_value : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression * 'a * 'b) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_int : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression
   * Qualifiers.t) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_complete : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression
   * Qualifiers.t) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor : 
  loc:Migrate_parsetree__Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression option
   * Qualifiers.t option) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_assignment_size_of_sized_field : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression
   * Qualifiers.t option) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_assignment_size_of_field : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression option
   * Qualifiers.t option) ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_assignment_size : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression option
   * Qualifiers.t option)
    list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_assignment_behavior : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Entity.t ->
  (Migrate_parsetree.Ast_405.Parsetree.expression
   * Migrate_parsetree.Ast_405.Parsetree.expression option
   * Qualifiers.t option)
    list ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val parse_assignment_behavior : 
  loc:Migrate_parsetree.Ast_405.Location.t ->
  Entity.t ->
  string ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val gen_constructor_expr : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  string ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val transform_single_let : 
  loc:Migrate_parsetree.Ast_405.Ast_helper.loc ->
  Migrate_parsetree.Ast_405.Parsetree.value_binding ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val extension : 
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree.Ast_405.Parsetree.expression

val expression : 
  Migrate_parsetree.Ast_405.Ast_mapper.mapper ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val structure_item_mapper : 
  Migrate_parsetree.Ast_405.Ast_mapper.mapper ->
  Migrate_parsetree.Ast_405.Parsetree.structure_item ->
  Migrate_parsetree.Ast_405.Parsetree.structure_item

val rewriter : 'a -> 'b -> Migrate_parsetree.Ast_405.Ast_mapper.mapper