Module `Zarith_ppx`

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

module Stre = Str

module AM = Migrate_parsetree.Ast_405.Ast_mapper

val error : 
  ('a,
    Stdlib.Format.formatter,
    unit,
    Migrate_parsetree__Ast_405.Parsetree.expression)
    Stdlib.format4 ->
  'a

val mklid : string -> string -> Migrate_parsetree__Ast_405.Parsetree.expression

val app : 
  string ->
  string ->
  Migrate_parsetree__Ast_405.Parsetree.expression list ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val integer : 
  string ->
  string ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val integer_z : string -> Migrate_parsetree__Ast_405.Parsetree.expression

val integer_q : string -> Migrate_parsetree__Ast_405.Parsetree.expression

val re : Stre.regexp

val match_float : string -> (bool * string * int * string option) option

val ten : Migrate_parsetree__Ast_405.Parsetree.expression

val e10 : int -> Migrate_parsetree__Ast_405.Parsetree.expression

val add : 
  string ->
  Migrate_parsetree__Ast_405.Parsetree.expression list ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val neg_if : 
  bool ->
  string ->
  Migrate_parsetree__Ast_405.Parsetree.expression ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val mul_10exp : 
  Migrate_parsetree__Ast_405.Parsetree.expression ->
  int ->
  [> `Q of Migrate_parsetree__Ast_405.Parsetree.expression
  | `Z of Migrate_parsetree__Ast_405.Parsetree.expression ]

val addx : 
  [< `Q of Migrate_parsetree__Ast_405.Parsetree.expression
  | `Z of Migrate_parsetree__Ast_405.Parsetree.expression ] ->
  [< `Q of Migrate_parsetree__Ast_405.Parsetree.expression
  | `Z of Migrate_parsetree__Ast_405.Parsetree.expression ] ->
  [> `Q of Migrate_parsetree__Ast_405.Parsetree.expression
  | `Z of Migrate_parsetree__Ast_405.Parsetree.expression ]

val make_float : 
  string ->
  int ->
  string option ->
  [> `Q of Migrate_parsetree__Ast_405.Parsetree.expression
  | `Z of Migrate_parsetree__Ast_405.Parsetree.expression ]

val is_float_exa : string -> bool

val fail_exa : unit -> Migrate_parsetree__Ast_405.Parsetree.expression

val float_z : string -> Migrate_parsetree__Ast_405.Parsetree.expression

val float_q : string -> Migrate_parsetree__Ast_405.Parsetree.expression

Boilerplate to recognize z and q prefixes.

val expr : 
  AM.mapper ->
  Migrate_parsetree.Ast_405.Parsetree.expression ->
  Migrate_parsetree__Ast_405.Parsetree.expression

val mapper : AM.mapper

package zarith-ppx

Module Zarith_ppx

Module `Zarith_ppx`