This page requires javascript to work

NormalCase

minitt::check::read_back

Type Alias NormalCase 

Source 
pub type NormalCase = GenericCase<Either<NormalExpression, Expression>, NormalExpression>;

Aliased Type§

pub struct NormalCase {
    pub expression: Either<NormalExpression, Expression>,
    pub context: Rc<GenericTelescope<NormalExpression>>,
}

Fields§

§expression: Either<NormalExpression, Expression>§context: Rc<GenericTelescope<NormalExpression>>