hax-rust-engine 0.3.5

The engine of the hax toolchain.
Documentation 
1
2
3
4
5
6
7
8
9
10

//! A phase rewrites the AST.

use crate::ast::Item;

/// Placeholder trait for phases.
pub trait Phase {
    /// Apply the phase on items.
    /// A phase may transform an item into zero, one or more items.
    fn apply(&self, items: &mut Vec<Item>);
}