aterm 0.20.0

Implementation of the Annotated Terms data structure
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#[macro_use]
pub mod utils;

mod bad_idea;
pub mod rc;
mod interface;
pub mod print;
pub mod parse;
pub mod string_share;

pub use interface::*;

extern crate regex;

#[macro_use]
extern crate lazy_static;

extern crate typed_arena;