package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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