pub trait List { fn val() -> Vec<bool>; fn new() -> Self; }
Type-level linked list, enum-like of Nil and Cons
Nil
Cons
Real, represented with rust’s objects value of type.
Real
Real value of type.