vyre-spec 0.1.1

Frozen data contracts for vyre — OpSpec, AlgebraicLaw, Category, IntrinsicTable
Documentation 
1
2
3
4
5
6
7
8
9

//! Identifier lookup helpers for the frozen invariant catalog.

use crate::{engine_invariant::InvariantId, invariant::Invariant, invariants::invariants};

/// Look up an invariant by id.
#[must_use]
pub fn by_id(id: InvariantId) -> Option<&'static Invariant> {
    invariants().iter().find(|inv| inv.id == id)
}