sentri-ir 0.1.2

Intermediate representation for Sentri invariant specifications
Documentation
sentri-ir-0.1.2 has been yanked.

Intermediate Representation: Chain-agnostic program model and invariant IR.

This module re-exports core types and extends them with additional IR-specific utilities while remaining chain-agnostic.