implies 0.2.2

A parser for logical formulas
Documentation 
1
2
3
4
5
6
7
8
9
10

pub mod prop;

use prop::Proposition;
use pyo3::prelude::*;

#[pymodule]
fn implies(py: Python<'_>, m: &PyModule) -> PyResult<()> {
    m.add_class::<Proposition>()?;
    Ok(())
}