pub trait ActionsInterface {
type W: WitnessGenerator<Fp>;
type Bool: BoolInterface;
// Required methods
fn is_empty(actions: &Actions, w: &mut Self::W) -> Self::Bool;
fn push_events(event: Fp, actions: &Actions, w: &mut Self::W) -> Fp;
}
Required Associated Types§
type W: WitnessGenerator<Fp>
type Bool: BoolInterface
Required Methods§
fn is_empty(actions: &Actions, w: &mut Self::W) -> Self::Bool
fn push_events(event: Fp, actions: &Actions, w: &mut Self::W) -> Fp
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.