formality-core 0.1.1

Language-independent formality system used by a-mir-formality
Documentation 
1
2
3
4
5
6
7
8
9
10

use super::*;
use crate::cast_impl;

cast_impl!(impl(L: Language) CoreVariable<L>);
cast_impl!(impl(L: Language) CoreBoundVar<L>);
cast_impl!(impl(L: Language) CoreExistentialVar<L>);
cast_impl!(impl(L: Language) CoreUniversalVar<L>);
cast_impl!(impl(L: Language) CoreVariable(L)::ExistentialVar(CoreExistentialVar<L>));
cast_impl!(impl(L: Language) CoreVariable(L)::BoundVar(CoreBoundVar<L>));
cast_impl!(impl(L: Language) CoreVariable(L)::UniversalVar(CoreUniversalVar<L>));