package octez-bls12-381-polynomial

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Scalar = Bls12_381.Fr

module Elt : sig ... end

include sig ... end

type t

type elt = Elt.t

val t : t Repr.t

val empty : t

val allocate : int -> t

val init : int -> (int -> elt) -> t

val degree : t -> int

val erase : t -> int -> unit

val length : t -> int

val get : t -> int -> elt

val get_inplace : t -> int -> elt -> unit

val iter_copy_elt : (elt -> unit) -> t -> unit

val iteri_copy_elt : (int -> elt -> unit) -> t -> unit

val set : t -> elt -> int -> unit

val copy : ?offset:int -> ?len:int -> t -> t

val blit : t -> src_off:int -> t -> dst_off:int -> len:int -> unit

val equal : t -> offset1:int -> t -> offset2:int -> len:int -> bool

val to_array : ?offset:int -> ?len:int -> t -> elt array

val of_array : elt array -> t

val of_bigstring : Bigstringaf.t -> t

val to_bigstring : t -> Bigstringaf.t

val eq : t -> t -> bool

val sub : t -> off:int -> len:int -> t

val fold_left_map : ('acc -> elt -> 'acc * elt) -> 'acc -> t -> 'acc * t

val generator : Scalar.t

val primitive_root_of_unity : int -> Scalar.t

val primitive_root_of_unity_power_of_two : log:int -> Scalar.t

val build_array : 'a -> ('a -> 'a) -> int -> 'a array

val powers : int -> Scalar.t -> Scalar.t array

val build_domain : int -> Scalar.t array

val build_domain_power_of_two : log:int -> Scalar.t array