Struct kimchi::snarky::constraint_system::EndoscaleRound

pub struct EndoscaleRound<A> {

    pub xt: A,
    pub yt: A,
    pub xp: A,
    pub yp: A,
    pub n_acc: A,
    pub xr: A,
    pub yr: A,
    pub s1: A,
    pub s3: A,
    pub b1: A,
    pub b2: A,
    pub b3: A,
    pub b4: A,
}

Fields

xt: A

yt: A

xp: A

yp: A

n_acc: A

xr: A

yr: A

s1: A

s3: A

b1: A

b2: A

b3: A

b4: A

Trait Implementations

impl<A: Debug> Debug for EndoscaleRound<A>

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

Formats the value using the given formatter.

impl<'from_value_lifetime, A> FromValue<'from_value_lifetime> for EndoscaleRound<A>where A: FromValue<'from_value_lifetime>,

fn from_value(value: Value) -> Self

Convert from OCaml value

impl<A> IntoValue for EndoscaleRound<A>where A: IntoValue,

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value

impl<A> OCamlBinding for EndoscaleRound<A>where A: OCamlDesc,

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment [Env], as well as an optional name (if you wish to rename the type in OCaml).

impl<A> OCamlDesc for EndoscaleRound<A>where A: OCamlDesc,

fn ocaml_desc(env: &Env, generics: &[&str]) -> String

describes the type in OCaml, given the current environment [Env] and the list of generic type parameters of the root type (the type that makes use of this type)

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.