Trait folding::instance_witness::RelaxableInstance

pub trait RelaxableInstance<G: CommitmentCurve, I: Instance<G>> {
    // Required method
    fn relax(self) -> RelaxedInstance<G, I>;
}

Required Methods

fn relax(self) -> RelaxedInstance<G, I>

Implementors

impl<G: CommitmentCurve, I: Instance<G>> RelaxableInstance<G, I> for RelaxedInstance<G, I>

A relaxed instance is trivially relaxable.

impl<G: CommitmentCurve, I: Instance<G>> RelaxableInstance<G, I> for I