pub struct TemplateKey {
pub definition: u32,
pub params_hash: u64,
}Expand description
Canonicalization key = (Definition identity, ordered resolved parameter
values/types) (netlist-analysis.md Decision 2: hash-then-verify, not pointer
identity, because DisableInstanceCaching denies slang’s normal body
sharing; ledger CG-143, CG-145, PR-029, PR-031, PR-037, PR-117). params_hash
stands in for the real Vec<ResolvedParam> the netlist track builds from
sv_lang::Symbol::parameters(); kept opaque here since this crate does not
depend on sv-lang.
Fields§
§definition: u32§params_hash: u64Trait Implementations§
Source§impl Clone for TemplateKey
impl Clone for TemplateKey
impl Copy for TemplateKey
Source§impl Debug for TemplateKey
impl Debug for TemplateKey
impl Eq for TemplateKey
Source§impl Hash for TemplateKey
impl Hash for TemplateKey
Source§impl PartialEq for TemplateKey
impl PartialEq for TemplateKey
impl StructuralPartialEq for TemplateKey
Auto Trait Implementations§
impl Freeze for TemplateKey
impl RefUnwindSafe for TemplateKey
impl Send for TemplateKey
impl Sync for TemplateKey
impl Unpin for TemplateKey
impl UnsafeUnpin for TemplateKey
impl UnwindSafe for TemplateKey
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.