pub enum EvidenceScope {
ExactTarget,
SimilarMaterial,
GeneralRule,
}Expand description
How directly a piece of evidence applies to the plan it’s attached to,
versus having been generalized from a related case (AGENTS.md §7’s
SimilarComposition/SimilarStructure evidence kinds exist precisely
because that distinction matters and must not be hidden).
Variants§
Trait Implementations§
Source§impl Clone for EvidenceScope
impl Clone for EvidenceScope
Source§fn clone(&self) -> EvidenceScope
fn clone(&self) -> EvidenceScope
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for EvidenceScope
Source§impl Debug for EvidenceScope
impl Debug for EvidenceScope
Source§impl<'de> Deserialize<'de> for EvidenceScope
impl<'de> Deserialize<'de> for EvidenceScope
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for EvidenceScope
Source§impl PartialEq for EvidenceScope
impl PartialEq for EvidenceScope
Source§impl Serialize for EvidenceScope
impl Serialize for EvidenceScope
impl StructuralPartialEq for EvidenceScope
Auto Trait Implementations§
impl Freeze for EvidenceScope
impl RefUnwindSafe for EvidenceScope
impl Send for EvidenceScope
impl Sync for EvidenceScope
impl Unpin for EvidenceScope
impl UnsafeUnpin for EvidenceScope
impl UnwindSafe for EvidenceScope
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more