Trait TokenIdInterface

pub trait TokenIdInterface
where
    Self: Sized,
{
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required method
    fn equal(a: &TokenId, b: &TokenId, w: &mut Self::W) -> Self::Bool;
}

Required Associated Types

type W: WitnessGenerator<Fp>

type Bool: BoolInterface

Required Methods

fn equal(a: &TokenId, b: &TokenId, w: &mut Self::W) -> Self::Bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl TokenIdInterface for TokenId

type W = ()

type Bool = bool

impl TokenIdInterface for SnarkTokenId

type W = Witness<Fp256<FpParameters>>

type Bool = CircuitVar<Boolean>