Module Lib.Bytes

type 'a input = 'a Input.t
type nonrec scalar = scalar
type nonrec 'a repr = 'a repr
type nonrec 'a t = 'a t
type tl = bool list
val input_bitlist : bool list -> bool list Input.input
val input_bytes : le:bool -> bytes -> bool list Input.input
val of_bool_list : 'a -> 'b t
val to_bool_list : 'a -> 'b t
val of_scalar : total_nb_bits:int -> scalar repr -> bool list repr t
val to_scalar : bool list repr -> scalar repr t
val constant : le:bool -> bytes -> bool list repr t
val constant_uint32 : le:bool -> Stdint.Uint32.t -> bool list repr t
val length : 'a list repr -> int
val concat : tl repr array -> tl repr
val check_args_length : string -> 'a list repr -> 'b list repr -> unit
val add : ?ignore_carry:bool -> bool list repr -> bool list repr -> bool list repr t
val xor : bool list repr -> bool list repr -> bool list repr t
val not : bool list repr -> bool list repr t
val band : bool list repr -> bool list repr -> bool list repr t
val rotate_right : 'a list repr -> int -> 'b list repr t
val rotate_left : 'a list repr -> int -> 'b list repr t
val shift_left : bool list repr -> int -> bool list repr t
val shift_right : bool list repr -> int -> bool list repr t