package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module N : sig ... end

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