BarrettModint = StaticBarrettModint or DynamicBarrettModint

DynamicBarrettModint[M] = object
  a: uint32

StaticBarrettModint[M] = object
  a: uint32

CPLIB_MODINT_MODINT_BARRETT = 1

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

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

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

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

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

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

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

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

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

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

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

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

proc val(a: BarrettModint): int

macro declarDynamicBarrettModint(name, id)

macro declarStaticBarrettModint(name, M)

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

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

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