Module Kzg_pack_impl.Domain

type scalar = Distribution.Kzg.Kzg_impl.Polynomial.scalar
type t = Distribution.Kzg.Kzg_impl.Polynomial.Domain.t
val t : t Repr.t
val length : t -> int
val get : t -> int -> scalar
val primitive_root_of_unity : int -> scalar
val build : ?primitive_root:scalar -> int -> t
val build_power_of_two : ?primitive_root:scalar -> int -> t
val subgroup : log:int -> t -> t
val inverse : t -> scalar array