Struct kimchi_stubs::plonk_verifier_index::CamlLookupSelectors

pub struct CamlLookupSelectors<T> {
    pub lookup: Option<T>,
    pub xor: Option<T>,
    pub range_check: Option<T>,
    pub ffmul: Option<T>,
}

Fields

lookup: Option<T>

xor: Option<T>

range_check: Option<T>

ffmul: Option<T>

Trait Implementations

impl<G, CamlPolyComm> From<CamlLookupSelectors<CamlPolyComm>> for LookupSelectors<PolyComm<G>>where G: AffineRepr + CommitmentCurve, PolyComm<G>: From<CamlPolyComm>,

fn from(val: CamlLookupSelectors<CamlPolyComm>) -> Self

Converts to this type from the input type.

impl<G, CamlPolyComm> From<LookupSelectors<PolyComm<G>>> for CamlLookupSelectors<CamlPolyComm>where G: AffineRepr + CommitmentCurve, CamlPolyComm: From<PolyComm<G>>,

fn from(val: LookupSelectors<PolyComm<G>>) -> Self

Converts to this type from the input type.

impl<'from_value_lifetime, T> FromValue<'from_value_lifetime> for CamlLookupSelectors<T>where Option<T>: FromValue<'from_value_lifetime>, T: FromValue<'from_value_lifetime>,

fn from_value(value: Value) -> Self

Convert from OCaml value

impl<T> IntoValue for CamlLookupSelectors<T>where Option<T>: IntoValue, T: IntoValue,

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

Convert to OCaml value

impl<T> OCamlBinding for CamlLookupSelectors<T>where T: 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<T> OCamlDesc for CamlLookupSelectors<T>where T: 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.