Library PrimeGapS1.Recompose

From Stdlib Require Import ZArith List.
From Bignums Require Import BigZ.
Import ListNotations.
Open Scope Z_scope.

Definition lift_bigZ (xs : list BigZ.t_) : list Z :=
  List.map BigZ.to_Z xs.