pub mod errors;
mod parser;
mod pattern;
mod vm;

pub use pattern::Pattern;

// TODO
pub trait PatternTypes {
    /// The value type.
    type Value;
    type Iter;
}

// TODO
pub type Predicate<T> = dyn (Fn(&<T as PatternTypes>::Value) -> bool) + Send + Sync;