Module L.Limbs

Parameters

module N : sig ... end

Signature

type 'a input = 'a Input.t
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a t
type tl = scalar list
val input_bytes : le:bool -> bytes -> tl input
val constant : le:bool -> bytes -> tl repr t
val of_scalar : total_nb_bits:int -> scalar repr -> tl repr t
val to_scalar : tl repr -> scalar repr t
val of_bool_list : bool list repr -> tl repr t
val to_bool_list : tl repr -> bool list repr t
val xor : tl repr -> tl repr -> tl repr t
val band : tl repr -> tl repr -> tl repr t
val not : tl repr -> tl repr t
val rotate_right : tl repr -> int -> tl repr t
val shift_right : tl repr -> int -> tl repr t