epilog-0.1.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

epilog 0.1.0

A collection of Prolog-like tools for inference logic.

Crate
Source
Builds
Feature flags

..
ast.rs
mod.rs
quant.rs
sub.rs
unify.rs
uresult.rs
var.rs

#[test]
fn gen() { unimplemented!() }

#[test]
fn inst() { unimplemented!() }