Skip to main content

Crate vil_ir

Crate vil_ir 

Source

Re-exports§

pub use builder::InterfaceBuilder;
pub use builder::MessageBuilder;
pub use builder::PortBuilder;
pub use builder::ProcessBuilder;
pub use builder::WorkflowBuilder;
pub use contract::ExecutionContract;
pub use contract::FailoverEntry;
pub use contract::LaneEntry;
pub use contract::ObservabilityEntry;
pub use contract::ProcessSummary;
pub use contract::TrustProfile;
pub use core::FieldIR;
pub use core::InterfaceIR;
pub use core::MessageIR;
pub use core::OwnershipState;
pub use core::OwnershipTransitionIR;
pub use core::PortIR;
pub use core::ProcessIR;
pub use core::QueueIR;
pub use core::RouteIR;
pub use core::TransferExprIR;
pub use core::TypeRefIR;
pub use core::WorkflowIR;

Modules§

builder
contract
core