epilog 0.1.0

A collection of Prolog-like tools for inference logic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#![cfg_attr(test, feature(try_trait))]

pub mod ast;
pub mod quant;
pub mod sub;
pub mod unify;
pub mod uresult;
pub mod var;

#[cfg(test)]
mod tests;

mod prelude_internal {
    pub use crate::uresult::prelude::*;
    pub use std::{cmp::Eq, hash::Hash};
}

pub mod prelude {
    pub use crate::{
        sub::SubWith,
        unify::Unify,
        uresult::prelude::*,
        var::{FreeVars, FreshVars},
    };
}