mina_tree::zkapps::intefaces

Trait GlobalSlotSpanInterface

Source 
pub trait GlobalSlotSpanInterface {
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;
    type SlotSpan;

    // Required method
    fn greater_than(
        this: &Self::SlotSpan,
        other: &Self::SlotSpan,
        w: &mut Self::W,
    ) -> Self::Bool;
}

Required Associated Types§

Source

type W: WitnessGenerator<Fp>

Source

type Bool: BoolInterface

Source

type SlotSpan

Required Methods§

Source

fn greater_than( this: &Self::SlotSpan, other: &Self::SlotSpan, 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§