repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! <https://en.wikipedia.org/wiki/Star_height>

use unconst::unconst;

use crate::repr::Repr;
use crate::traits::Integral;

#[unconst]
pub const fn hei<I: ~const Integral>(repr: &Repr<I>) -> usize {
    match self {
    }
}