Struct r1cs_file::Header

pub struct Header<const FS: usize> {
    pub prime: FieldElement<FS>,
    pub n_wires: u32,
    pub n_pub_out: u32,
    pub n_pub_in: u32,
    pub n_prvt_in: u32,
    pub n_labels: u64,
    pub n_constraints: u32,
}

Fields

prime: FieldElement<FS>

n_wires: u32

n_pub_out: u32

n_pub_in: u32

n_prvt_in: u32

n_labels: u64

n_constraints: u32

Trait Implementations

impl<const FS: usize> Debug for Header<FS>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const FS: usize> PartialEq<Header<FS>> for Header<FS>

fn eq(&self, other: &Header<FS>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Header<FS>) -> bool

This method tests for !=.

impl<const FS: usize> Eq for Header<FS>

impl<const FS: usize> StructuralEq for Header<FS>

impl<const FS: usize> StructuralPartialEq for Header<FS>