oxidd-derive 0.12.0

Derive macros for OxiDD
Documentation 
1
2
3
4
5
6
7
8
9

use oxidd_derive::Countable;

#[derive(Countable)]
enum Tag {
    X(u8),
    Y(u32),
}

fn main() {}