Type Definition minitt::check::read_back::NormalCase

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