1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

// -*- mode: rust; -*-
//
// This file is part of 

//! This will contain some good documentation about the LRS crate
//!
//! For now I guess enjoy this emoji of a cup 🍵

#[macro_use] mod terms;
pub use terms::*;

#[macro_use] mod clause;
pub use clause::*;

/* Unit tests below */
mod tests;