Module Lib.Limbs

Parameters

module N : sig ... end

Signature

type 'a input = 'a Input.t
type nonrec scalar = scalar
type nonrec 'a repr = 'a repr
type nonrec 'a t = 'a t
module LimbN : sig ... end
type tl = scalar list
val nb_bits : int
val input_bytes : le:bool -> bytes -> Num.scalar list Input.input
val of_bool_list : bool list repr -> scalar list repr t
val to_bool_list : scalar list repr -> bool list repr t
val to_scalar : scalar list repr -> scalar repr t
val of_scalar : total_nb_bits:int -> scalar repr -> scalar list repr t
val constant : le:bool -> bytes -> Num.scalar list repr t
val xor : scalar list repr -> scalar list repr -> scalar list repr t
val band : scalar list repr -> scalar list repr -> scalar list repr t
val not : scalar list repr -> scalar list repr t
val rotate_or_shift_right_rem0 : is_shift:bool -> Num.scalar list repr -> int -> Num.scalar list repr t
val rotate_or_shift_right_rem : is_shift:bool -> scalar list repr -> int -> scalar list repr t
val rotate_or_shift_right : is_shift:bool -> Num.scalar list repr -> int -> scalar list repr t
val rotate_right : Num.scalar list repr -> int -> scalar list repr t
val shift_right : Num.scalar list repr -> int -> scalar list repr t