BarrettModint = StaticBarrettModint or DynamicBarrettModint

DynamicBarrettModint[M] = object
  a: uint32

DynamicMontgomeryModint[M] = object
  a: uint32

modint998244353_barrett = StaticBarrettModint[998244353'u32]

modint998244353_montgomery = StaticMontgomeryModint[998244353'u32]

modint1000000007_barrett = StaticBarrettModint[1000000007'u32]

modint1000000007_montgomery = StaticMontgomeryModint[1000000007'u32]

modint_barrett = DynamicBarrettModint[1'u32]

modint_montgomery = DynamicMontgomeryModint[1'u32]

MontgomeryModint = StaticMontgomeryModint or DynamicMontgomeryModint

StaticBarrettModint[M] = object
  a: uint32

StaticMontgomeryModint[M] = object
  a: uint32

CPLIB_MODINT_MODINT = 1

CPLIB_MODINT_MODINT_BARRETT = 1

CPLIB_MODINT_MODINT_MONTGOMERY = 1

func `$`(a: MontgomeryModint or BarrettModint): string

proc `*=`[T: BarrettModint](a: var T; b: T or SomeInteger)

proc `*=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

func `*`(a, b: MontgomeryModint or BarrettModint): auto

func `*`(a: MontgomeryModint or BarrettModint; b: SomeInteger): auto

func `*`[ModInt: MontgomeryModint or BarrettModint](a: SomeInteger; b: Modint): auto

proc `+=`[T: BarrettModint](a: var T; b: T or SomeInteger)

proc `+=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

func `+`(a, b: MontgomeryModint or BarrettModint): auto

func `+`(a: MontgomeryModint or BarrettModint; b: SomeInteger): auto

func `+`[ModInt: MontgomeryModint or BarrettModint](a: SomeInteger; b: Modint): auto

proc `-=`[T: BarrettModint](a: var T; b: T or SomeInteger)

proc `-=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

func `-`(a, b: MontgomeryModint or BarrettModint): auto

func `-`(a: MontgomeryModint or BarrettModint; b: SomeInteger): auto

func `-`[ModInt: MontgomeryModint or BarrettModint](a: SomeInteger; b: Modint): auto

proc `-`[T: BarrettModint](a: T): T

proc `-`[T: MontgomeryModint](a: T): T

proc `/=`[T: BarrettModint](a: var T; b: T or SomeInteger)

proc `/=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

func `/`(a, b: MontgomeryModint or BarrettModint): auto

func `/`(a: MontgomeryModint or BarrettModint; b: SomeInteger): auto

proc `/`[ModInt: MontgomeryModint or BarrettModint](a: ModInt; b: static int): auto

func `/`[ModInt: MontgomeryModint or BarrettModint](a: SomeInteger; b: Modint): auto

proc calc_mul(a, b: culonglong): culonglong {.importcpp: "calc_mul(#, #)",
    nodecl, inline, ...raises: [], tags: [].}

proc estimate_rational(a: MontgomeryModint or BarrettModint;
                       ub: int = isqrt(typeof(a).mod)): string

proc get_im(M: uint32): uint {....raises: [], tags: [].}

proc get_n2(M: uint32): uint32 {....raises: [], tags: [].}

func get_param[M: static[uint32]](self: typedesc[DynamicBarrettModint[M]]): ptr [
    tuple[M, im: uint]]

func get_param[M: static[uint32]](self: typedesc[DynamicMontgomeryModint[M]]): ptr [
    tuple[M, r, n2: uint32]]

proc get_r(M: uint32): uint32 {....raises: [], tags: [].}

proc init(T: typedesc[BarrettModint]; a: T:type or SomeInteger): auto

proc init(T: typedesc[MontgomeryModint]; a: T:type or SomeInteger): auto

proc inv[T: BarrettModint](x: T): T

proc inv[T: MontgomeryModint](x: T): T

func pow(a: MontgomeryModint or BarrettModint; n: int): auto

proc rem(T: typedesc[BarrettModint]; a: uint): uint32

proc setMod[T: static[uint32]](self: typedesc[DynamicBarrettModint[T]];
                               M: SomeInteger or SomeUnsignedInt)

proc setMod[T: static[uint32]](self: typedesc[DynamicMontgomeryModint[T]];
                               M: SomeInteger or SomeUnsignedInt)

proc val(a: BarrettModint): int

proc val[T: MontgomeryModint](a: T): int

converter tomodint998244353_barrett(a`gensym17: int): StaticBarrettModint[
    998244353'u32] {....raises: [], tags: [].}

converter tomodint998244353_montgomery(a`gensym14: int): StaticMontgomeryModint[
    998244353'u32] {....raises: [], tags: [].}

converter tomodint1000000007_barrett(a`gensym27: int): StaticBarrettModint[
    1000000007'u32] {....raises: [], tags: [].}

converter tomodint1000000007_montgomery(a`gensym15: int): StaticMontgomeryModint[
    1000000007'u32] {....raises: [], tags: [].}

converter tomodint_barrett(a`gensym37: int): DynamicBarrettModint[1'u32] {.
    ...raises: [], tags: [].}

converter tomodint_montgomery(a`gensym16: int): DynamicMontgomeryModint[1'u32] {.
    ...raises: [], tags: [].}

macro declarDynamicBarrettModint(name, id)

macro declarDynamicMontgomeryModint(name, id)

macro declarStaticBarrettModint(name, M)

macro declarStaticMontgomeryModint(name, M)

template `mod`[T: BarrettModint](self: typedesc[T] or T): int32

template `mod`[T: MontgomeryModint](self: typedesc[T] or T): int32

template get_M(T: typedesc[BarrettModint]): uint

template get_M(T: typedesc[MontgomeryModint]): uint32

template umod[T: BarrettModint](self: typedesc[T] or T): uint32

template umod[T: MontgomeryModint](self: typedesc[T] or T): uint32