Trait puffin::claims::Claim

source · 
pub trait Claim<PT: ProtocolTypes>:
    EvaluatedTerm<PT>
    + VariableData<PT>
    + Debug {
    // Required methods
    fn agent_name(&self) -> AgentName;
    fn id(&self) -> TypeShape<PT>;
    fn inner(&self) -> Box<dyn EvaluatedTerm<PT>>;
}

Required Methods§

source

fn agent_name(&self) -> AgentName

source

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

source

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

Implementors§