lrs/
lib.rs

1// -*- mode: rust; -*-
2//
3// This file is part of 
4
5//! This will contain some good documentation about the LRS crate
6//!
7//! For now I guess enjoy this emoji of a cup 🍵
8
9#[macro_use] mod terms;
10pub use terms::*;
11
12#[macro_use] mod clause;
13pub use clause::*;
14
15/* Unit tests below */
16mod tests;