# CT-Utils
This crate contains types and behaviours which resolve at compile time.
## Getting started
Include this crate as dependancy by inserting the following into your `Cargo.toml` file.
```toml
[dependencies]
ct-utils = "1.10.0"
```
Inside your `lib.rs` or `main.rs` add the usage of this crate.
Often used types are re-exported inside the prelude of this crate which lower the
verbosity of your implementation. Otherwise all types are accessible through their fully
qualified path.
```rust
#[macro_use] extern crate ct_utils;
// Optional
use ct_utils::prelude::*;
```
And you're all set!
## Usage
An example of the included cons list is shown, which is the `CTCons` trait.
Construct a cons list of type items and calculate the offset of one specific type.
```rust
#[macro_use] extern crate ct_utils;
use ct_utils::prelude::*;
use ct_utils::ct_cons::Cons;
type BigList = Cons<Cons<Cons<Cons<Cons<CTConsTerm, i32>, u32>, f32>, i64>, usize>;
fn main() {
let list_size = BigList::size(); // 1-indexed
let list_offset = BigList::offset_of::<u64>(); // 0-indexed
assert!(list_size > list_offset);
assert_eq!(list_size, 5);
assert_eq!(list_offset, 4);
}
```