Trait puffin::claims::Claim

source · 
pub trait Claim: EvaluatedTerm<Self::PT> + Debug {
    type PT: ProtocolTypes;

    // Required methods
    fn agent_name(&self) -> AgentName;
    fn id(&self) -> TypeShape<Self::PT>;
    fn inner(&self) -> Box<dyn EvaluatedTerm<Self::PT>>;
}

Required Associated Types§

source

type PT: ProtocolTypes

Required Methods§

source

fn agent_name(&self) -> AgentName

source

fn id(&self) -> TypeShape<Self::PT>

source

fn inner(&self) -> Box<dyn EvaluatedTerm<Self::PT>>

Object Safety§

This trait is not object safe.

Implementors§