Ravencheck currently doesn't seem to support type parameters for type aliases. For example, given a parameterized type pub enum Term<T> { ... }, I would then like to create aliases using that type such as pub type Knowledge<T> = Map<usize, Term<T>>. Currently trying this results in the error message: right side Map<usize, Term<T>> of type alias 'Knowledge' is not valid: Type 'T' has not been declared.
Ravencheck currently doesn't seem to support type parameters for type aliases. For example, given a parameterized type
pub enum Term<T> { ... }, I would then like to create aliases using that type such aspub type Knowledge<T> = Map<usize, Term<T>>. Currently trying this results in the error message:right side Map<usize, Term<T>> of type alias 'Knowledge' is not valid: Type 'T' has not been declared.