Index.Fp
type nonrec t
val create : Gates.Vector.Fp.t -> int -> int -> SRS.Fp.t -> t
val max_degree : t -> int
val public_inputs : t -> int
val domain_d1_size : t -> int
val domain_d4_size : t -> int
val domain_d8_size : t -> int
val read : int option -> SRS.Fp.t -> string -> t
val write : bool option -> t -> string -> unit