Source file `Zpower.ml`

1
2
3
4
5
6
7
8
# 1 "extracted/Zpower.ml"
open BinPos

(** val shift_pos :
    Farith_Big.big_int -> Farith_Big.big_int -> Farith_Big.big_int **)

let shift_pos n z =
  Pos.iter (fun x -> Farith_Big.double x) z n