Struct DeclarationVerificationBatchItem 

pub struct DeclarationVerificationBatchItem {
    pub id: String,
    pub target: DeclarationVerificationTarget,
}

One target inside a batch declaration-verification request.

Fields

id: String

target: DeclarationVerificationTarget

Trait Implementations

impl Clone for DeclarationVerificationBatchItem

fn clone(&self) -> DeclarationVerificationBatchItem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeclarationVerificationBatchItem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for DeclarationVerificationBatchItem

impl<'lean> IntoLean<'lean> for DeclarationVerificationBatchItem

fn into_lean(self, runtime: &'lean LeanRuntime) -> Obj<'lean>

Allocate (or scalar-box) a Lean representation of self and return the owned handle.

impl PartialEq for DeclarationVerificationBatchItem

fn eq(&self, other: &DeclarationVerificationBatchItem) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DeclarationVerificationBatchItem