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

use unconst::unconst;

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

#[unconst]
pub struct In<I: ~const Integral>([I], Repr<I>);
  
match self {
    (i, One(seq)) if i.is(seq) => ,
}