L.Bytes
type 'a input = 'a Input.t
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a t
type tl = bool 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
val constant_uint32 : le:bool -> Stdint.uint32 -> tl repr t
val length : tl repr -> int
val concat : tl repr array -> tl repr
val add : ?ignore_carry:bool -> tl repr -> tl repr -> tl repr t
val rotate_left : tl repr -> int -> tl repr t
val shift_left : tl repr -> int -> tl repr t