formality_core/variable/
cast_impls.rs

1use super::*;
2use crate::cast_impl;
3
4cast_impl!(impl(L: Language) CoreVariable<L>);
5cast_impl!(impl(L: Language) CoreBoundVar<L>);
6cast_impl!(impl(L: Language) CoreExistentialVar<L>);
7cast_impl!(impl(L: Language) CoreUniversalVar<L>);
8cast_impl!(impl(L: Language) CoreVariable(L)::ExistentialVar(CoreExistentialVar<L>));
9cast_impl!(impl(L: Language) CoreVariable(L)::BoundVar(CoreBoundVar<L>));
10cast_impl!(impl(L: Language) CoreVariable(L)::UniversalVar(CoreUniversalVar<L>));