69 open Hints_declaration
84 Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector **)
86 (Vector.vsplit m n x).Types.snd
89 Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector **)
91 Vector.pad_vector (Arithmetic.sign_bit m v) n m v