pub trait ExPath {
type Lift;
fn ex_path(&self) -> Self::Lift;
}
impl ExPath for AddK<u8> type Lift = GeK<u8>;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>> type Lift = ();impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>> type Lift = ();impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>> type Lift = ();impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>> type Lift = ();impl ExPath for If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>> type Lift = ();impl ExPath for If<LtK<u8>, False1<u8>, Even<u8>> type Lift = ();impl ExPath for Even<u8, If<LtK<u8>, False1<u8>, Even<u8>>> type Lift = Id<bool>;impl ExPath for Even<u8, EqK<u8>> type Lift = IfK<u8, Even<u8>, Id<bool>, Not>;impl ExPath for GeK<u8> type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>;impl ExPath for LtK<u8> type Lift = IfK<u8, EqK<u8>, Not, ()>;impl ExPath for GeK<u8, Even<u8>> type Lift = IfK<u8, EqK<u8>, Not, ()>;impl ExPath for GeK<u8, Odd<u8>> type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>;impl ExPath for LtK<u8, Even<u8>> type Lift = IfK<u8, EqK<u8>, Not, ()>;impl ExPath for LtK<u8, Odd<u8>> type Lift = IfK<u8, LtK<u8>, Not, ()>;impl ExPath for EqK<u8, Even<u8>> type Lift = IfK<u8, Even<u8>, (), Not>;impl ExPath for EqK<u8, Odd<u8>> type Lift = IfK<u8, Odd<u8>, (), Not>;impl ExPath for AddK<u8, Even<u8>> type Lift = If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>>;impl ExPath for AddK<u8, Odd<u8>> type Lift = If<GeK<u8>, IfK<u8, Odd<u8>, Even<u8>, Odd<u8>>, False1<u8>>;impl ExPath for If<GeK<u8>, IfK<u8, Even<u8>, Even<u8>, Odd<u8>>, False1<u8>> type Lift = IfK<u8, Even<u8>, (), Not>;impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, EqK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, Odd<u8>, Id<bool>, Not>, IfK<u8, Even<u8>, Id<bool>, Not>>;impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, EqK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, Even<u8>, Id<bool>, Not>, IfK<u8, Odd<u8>, Id<bool>, Not>>;impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, EqK<u8>> type Lift = IfK<u8, GeK<u8>, IfK<u8, Odd<u8>, Id<bool>, Not>, IfK<u8, Even<u8>, Id<bool>, Not>>;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, EqK<u8>> type Lift = IfK<u8, GeK<u8>, IfK<u8, Even<u8>, Id<bool>, Not>, IfK<u8, Odd<u8>, Id<bool>, Not>>;impl ExPath for Odd<u8, EqK<u8>> type Lift = IfK<u8, Odd<u8>, Id<bool>, Not>;impl ExPath for EqK<u8, EqK<u8>> type Lift = IfK<u8, EqK<u8>, Id<bool>, Not>;impl ExPath for LtK<u8, EqK<u8>> type Lift = IfK<u8, LtK<u8>, Id<bool>, Not>;impl ExPath for GeK<u8, EqK<u8>> type Lift = IfK<u8, GeK<u8>, Id<bool>, Not>;impl ExPath for AddK<u8, EqK<u8>> type Lift = EqK<u8>;impl ExPath for Even<u8, GeK<u8>> type Lift = IfK<u8, EqK<u8>, Not, ()>;impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, GeK<u8>> type Lift = IfK<u8, GeK<u8>, Not, ()>;impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, GeK<u8>> type Lift = IfK<u8, GeK<u8>, Not, ()>;impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, GeK<u8>> type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, GeK<u8>> type Lift = IfK<u8, EqK<u8>, Not, ()>;impl ExPath for Odd<u8, GeK<u8>> type Lift = IfK<u8, EqK<u8>, Id<bool>, ()>;impl ExPath for EqK<u8, GeK<u8>> type Lift = IfK<u8, LtK<u8>, Not, IfK<u8, EqK<u8>, IfK<u8, EqK<u8>, Id<bool>, ()>, ()>>;impl ExPath for LtK<u8, GeK<u8>> type Lift = IfK<u8, GeK<u8>, Not, IfK<u8, EqK<u8>, Not, ()>>;impl ExPath for GeK<u8, GeK<u8>> type Lift = IfK<u8, LtK<u8>, (), Id<bool>>;impl ExPath for AddK<u8, GeK<u8>> type Lift = GeK<u8>;impl ExPath for Even<u8, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, Id<bool>>, ()>;impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>;impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <LtK<u8> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, <GeK<u8> as ExPath>::Lift>, ()>;impl ExPath for Odd<u8, LtK<u8>> type Lift = IfK<u8, LtK<u8>, IfK<u8, EqK<u8>, False1<bool>, Not>, ()>;impl ExPath for EqK<u8, LtK<u8>> type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, GeK<u8>, Not, ()>>;impl ExPath for LtK<u8, LtK<u8>> type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, EqK<u8>, Not, IfK<u8, GeK<u8>, Id<bool>, ()>>>;impl ExPath for GeK<u8, LtK<u8>> type Lift = IfK<u8, EqK<u8>, False1<bool>, IfK<u8, EqK<u8>, Id<bool>, ()>>;impl ExPath for AddK<u8, LtK<u8>> type Lift = IfK<u8, EqK<u8>, False1<u8>, If<GeK<u8>, LtK<u8>, False1<u8>>>;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Even<u8>> type Lift = <GeK<u8> as ExPath>::Lift;impl ExPath for If<GeK<u8>, Even<u8>, Odd<u8>, Odd<u8>> type Lift = <LtK<u8> as ExPath>::Lift;impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Even<u8>> type Lift = <LtK<u8> as ExPath>::Lift;impl ExPath for If<GeK<u8>, Odd<u8>, Even<u8>, Odd<u8>> type Lift = <GeK<u8> as ExPath>::Lift;impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Even<u8>> type Lift = <LtK<u8> as ExPath>::Lift;impl ExPath for If<LtK<u8>, Even<u8>, Odd<u8>, Odd<u8>> type Lift = <GeK<u8> as ExPath>::Lift;impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Even<u8>> type Lift = <GeK<u8> as ExPath>::Lift;impl ExPath for If<LtK<u8>, Odd<u8>, Even<u8>, Odd<u8>> type Lift = <LtK<u8> as ExPath>::Lift;impl ExPath for AddK<u16> type Lift = GeK<u16>;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>> type Lift = ();impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>> type Lift = ();impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>> type Lift = ();impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>> type Lift = ();impl ExPath for If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>> type Lift = ();impl ExPath for If<LtK<u16>, False1<u16>, Even<u16>> type Lift = ();impl ExPath for Even<u16, If<LtK<u16>, False1<u16>, Even<u16>>> type Lift = Id<bool>;impl ExPath for Even<u16, EqK<u16>> type Lift = IfK<u16, Even<u16>, Id<bool>, Not>;impl ExPath for GeK<u16> type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>;impl ExPath for LtK<u16> type Lift = IfK<u16, EqK<u16>, Not, ()>;impl ExPath for GeK<u16, Even<u16>> type Lift = IfK<u16, EqK<u16>, Not, ()>;impl ExPath for GeK<u16, Odd<u16>> type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>;impl ExPath for LtK<u16, Even<u16>> type Lift = IfK<u16, EqK<u16>, Not, ()>;impl ExPath for LtK<u16, Odd<u16>> type Lift = IfK<u16, LtK<u16>, Not, ()>;impl ExPath for EqK<u16, Even<u16>> type Lift = IfK<u16, Even<u16>, (), Not>;impl ExPath for EqK<u16, Odd<u16>> type Lift = IfK<u16, Odd<u16>, (), Not>;impl ExPath for AddK<u16, Even<u16>> type Lift = If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>>;impl ExPath for AddK<u16, Odd<u16>> type Lift = If<GeK<u16>, IfK<u16, Odd<u16>, Even<u16>, Odd<u16>>, False1<u16>>;impl ExPath for If<GeK<u16>, IfK<u16, Even<u16>, Even<u16>, Odd<u16>>, False1<u16>> type Lift = IfK<u16, Even<u16>, (), Not>;impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, EqK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, Odd<u16>, Id<bool>, Not>, IfK<u16, Even<u16>, Id<bool>, Not>>;impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, EqK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, Even<u16>, Id<bool>, Not>, IfK<u16, Odd<u16>, Id<bool>, Not>>;impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, EqK<u16>> type Lift = IfK<u16, GeK<u16>, IfK<u16, Odd<u16>, Id<bool>, Not>, IfK<u16, Even<u16>, Id<bool>, Not>>;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, EqK<u16>> type Lift = IfK<u16, GeK<u16>, IfK<u16, Even<u16>, Id<bool>, Not>, IfK<u16, Odd<u16>, Id<bool>, Not>>;impl ExPath for Odd<u16, EqK<u16>> type Lift = IfK<u16, Odd<u16>, Id<bool>, Not>;impl ExPath for EqK<u16, EqK<u16>> type Lift = IfK<u16, EqK<u16>, Id<bool>, Not>;impl ExPath for LtK<u16, EqK<u16>> type Lift = IfK<u16, LtK<u16>, Id<bool>, Not>;impl ExPath for GeK<u16, EqK<u16>> type Lift = IfK<u16, GeK<u16>, Id<bool>, Not>;impl ExPath for AddK<u16, EqK<u16>> type Lift = EqK<u16>;impl ExPath for Even<u16, GeK<u16>> type Lift = IfK<u16, EqK<u16>, Not, ()>;impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, GeK<u16>> type Lift = IfK<u16, GeK<u16>, Not, ()>;impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, GeK<u16>> type Lift = IfK<u16, GeK<u16>, Not, ()>;impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, GeK<u16>> type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, GeK<u16>> type Lift = IfK<u16, EqK<u16>, Not, ()>;impl ExPath for Odd<u16, GeK<u16>> type Lift = IfK<u16, EqK<u16>, Id<bool>, ()>;impl ExPath for EqK<u16, GeK<u16>> type Lift = IfK<u16, LtK<u16>, Not, IfK<u16, EqK<u16>, IfK<u16, EqK<u16>, Id<bool>, ()>, ()>>;impl ExPath for LtK<u16, GeK<u16>> type Lift = IfK<u16, GeK<u16>, Not, IfK<u16, EqK<u16>, Not, ()>>;impl ExPath for GeK<u16, GeK<u16>> type Lift = IfK<u16, LtK<u16>, (), Id<bool>>;impl ExPath for AddK<u16, GeK<u16>> type Lift = GeK<u16>;impl ExPath for Even<u16, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, Id<bool>>, ()>;impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>;impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <LtK<u16> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, <GeK<u16> as ExPath>::Lift>, ()>;impl ExPath for Odd<u16, LtK<u16>> type Lift = IfK<u16, LtK<u16>, IfK<u16, EqK<u16>, False1<bool>, Not>, ()>;impl ExPath for EqK<u16, LtK<u16>> type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, GeK<u16>, Not, ()>>;impl ExPath for LtK<u16, LtK<u16>> type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, EqK<u16>, Not, IfK<u16, GeK<u16>, Id<bool>, ()>>>;impl ExPath for GeK<u16, LtK<u16>> type Lift = IfK<u16, EqK<u16>, False1<bool>, IfK<u16, EqK<u16>, Id<bool>, ()>>;impl ExPath for AddK<u16, LtK<u16>> type Lift = IfK<u16, EqK<u16>, False1<u16>, If<GeK<u16>, LtK<u16>, False1<u16>>>;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Even<u16>> type Lift = <GeK<u16> as ExPath>::Lift;impl ExPath for If<GeK<u16>, Even<u16>, Odd<u16>, Odd<u16>> type Lift = <LtK<u16> as ExPath>::Lift;impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Even<u16>> type Lift = <LtK<u16> as ExPath>::Lift;impl ExPath for If<GeK<u16>, Odd<u16>, Even<u16>, Odd<u16>> type Lift = <GeK<u16> as ExPath>::Lift;impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Even<u16>> type Lift = <LtK<u16> as ExPath>::Lift;impl ExPath for If<LtK<u16>, Even<u16>, Odd<u16>, Odd<u16>> type Lift = <GeK<u16> as ExPath>::Lift;impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Even<u16>> type Lift = <GeK<u16> as ExPath>::Lift;impl ExPath for If<LtK<u16>, Odd<u16>, Even<u16>, Odd<u16>> type Lift = <LtK<u16> as ExPath>::Lift;impl ExPath for AddK<u32> type Lift = GeK<u32>;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>> type Lift = ();impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>> type Lift = ();impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>> type Lift = ();impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>> type Lift = ();impl ExPath for If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>> type Lift = ();impl ExPath for If<LtK<u32>, False1<u32>, Even<u32>> type Lift = ();impl ExPath for Even<u32, If<LtK<u32>, False1<u32>, Even<u32>>> type Lift = Id<bool>;impl ExPath for Even<u32, EqK<u32>> type Lift = IfK<u32, Even<u32>, Id<bool>, Not>;impl ExPath for GeK<u32> type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>;impl ExPath for LtK<u32> type Lift = IfK<u32, EqK<u32>, Not, ()>;impl ExPath for GeK<u32, Even<u32>> type Lift = IfK<u32, EqK<u32>, Not, ()>;impl ExPath for GeK<u32, Odd<u32>> type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>;impl ExPath for LtK<u32, Even<u32>> type Lift = IfK<u32, EqK<u32>, Not, ()>;impl ExPath for LtK<u32, Odd<u32>> type Lift = IfK<u32, LtK<u32>, Not, ()>;impl ExPath for EqK<u32, Even<u32>> type Lift = IfK<u32, Even<u32>, (), Not>;impl ExPath for EqK<u32, Odd<u32>> type Lift = IfK<u32, Odd<u32>, (), Not>;impl ExPath for AddK<u32, Even<u32>> type Lift = If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>>;impl ExPath for AddK<u32, Odd<u32>> type Lift = If<GeK<u32>, IfK<u32, Odd<u32>, Even<u32>, Odd<u32>>, False1<u32>>;impl ExPath for If<GeK<u32>, IfK<u32, Even<u32>, Even<u32>, Odd<u32>>, False1<u32>> type Lift = IfK<u32, Even<u32>, (), Not>;impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, EqK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, Odd<u32>, Id<bool>, Not>, IfK<u32, Even<u32>, Id<bool>, Not>>;impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, EqK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, Even<u32>, Id<bool>, Not>, IfK<u32, Odd<u32>, Id<bool>, Not>>;impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, EqK<u32>> type Lift = IfK<u32, GeK<u32>, IfK<u32, Odd<u32>, Id<bool>, Not>, IfK<u32, Even<u32>, Id<bool>, Not>>;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, EqK<u32>> type Lift = IfK<u32, GeK<u32>, IfK<u32, Even<u32>, Id<bool>, Not>, IfK<u32, Odd<u32>, Id<bool>, Not>>;impl ExPath for Odd<u32, EqK<u32>> type Lift = IfK<u32, Odd<u32>, Id<bool>, Not>;impl ExPath for EqK<u32, EqK<u32>> type Lift = IfK<u32, EqK<u32>, Id<bool>, Not>;impl ExPath for LtK<u32, EqK<u32>> type Lift = IfK<u32, LtK<u32>, Id<bool>, Not>;impl ExPath for GeK<u32, EqK<u32>> type Lift = IfK<u32, GeK<u32>, Id<bool>, Not>;impl ExPath for AddK<u32, EqK<u32>> type Lift = EqK<u32>;impl ExPath for Even<u32, GeK<u32>> type Lift = IfK<u32, EqK<u32>, Not, ()>;impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, GeK<u32>> type Lift = IfK<u32, GeK<u32>, Not, ()>;impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, GeK<u32>> type Lift = IfK<u32, GeK<u32>, Not, ()>;impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, GeK<u32>> type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, GeK<u32>> type Lift = IfK<u32, EqK<u32>, Not, ()>;impl ExPath for Odd<u32, GeK<u32>> type Lift = IfK<u32, EqK<u32>, Id<bool>, ()>;impl ExPath for EqK<u32, GeK<u32>> type Lift = IfK<u32, LtK<u32>, Not, IfK<u32, EqK<u32>, IfK<u32, EqK<u32>, Id<bool>, ()>, ()>>;impl ExPath for LtK<u32, GeK<u32>> type Lift = IfK<u32, GeK<u32>, Not, IfK<u32, EqK<u32>, Not, ()>>;impl ExPath for GeK<u32, GeK<u32>> type Lift = IfK<u32, LtK<u32>, (), Id<bool>>;impl ExPath for AddK<u32, GeK<u32>> type Lift = GeK<u32>;impl ExPath for Even<u32, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, Id<bool>>, ()>;impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>;impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <LtK<u32> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, <GeK<u32> as ExPath>::Lift>, ()>;impl ExPath for Odd<u32, LtK<u32>> type Lift = IfK<u32, LtK<u32>, IfK<u32, EqK<u32>, False1<bool>, Not>, ()>;impl ExPath for EqK<u32, LtK<u32>> type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, GeK<u32>, Not, ()>>;impl ExPath for LtK<u32, LtK<u32>> type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, EqK<u32>, Not, IfK<u32, GeK<u32>, Id<bool>, ()>>>;impl ExPath for GeK<u32, LtK<u32>> type Lift = IfK<u32, EqK<u32>, False1<bool>, IfK<u32, EqK<u32>, Id<bool>, ()>>;impl ExPath for AddK<u32, LtK<u32>> type Lift = IfK<u32, EqK<u32>, False1<u32>, If<GeK<u32>, LtK<u32>, False1<u32>>>;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Even<u32>> type Lift = <GeK<u32> as ExPath>::Lift;impl ExPath for If<GeK<u32>, Even<u32>, Odd<u32>, Odd<u32>> type Lift = <LtK<u32> as ExPath>::Lift;impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Even<u32>> type Lift = <LtK<u32> as ExPath>::Lift;impl ExPath for If<GeK<u32>, Odd<u32>, Even<u32>, Odd<u32>> type Lift = <GeK<u32> as ExPath>::Lift;impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Even<u32>> type Lift = <LtK<u32> as ExPath>::Lift;impl ExPath for If<LtK<u32>, Even<u32>, Odd<u32>, Odd<u32>> type Lift = <GeK<u32> as ExPath>::Lift;impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Even<u32>> type Lift = <GeK<u32> as ExPath>::Lift;impl ExPath for If<LtK<u32>, Odd<u32>, Even<u32>, Odd<u32>> type Lift = <LtK<u32> as ExPath>::Lift;impl ExPath for AddK<u64> type Lift = GeK<u64>;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>> type Lift = ();impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>> type Lift = ();impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>> type Lift = ();impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>> type Lift = ();impl ExPath for If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>> type Lift = ();impl ExPath for If<LtK<u64>, False1<u64>, Even<u64>> type Lift = ();impl ExPath for Even<u64, If<LtK<u64>, False1<u64>, Even<u64>>> type Lift = Id<bool>;impl ExPath for Even<u64, EqK<u64>> type Lift = IfK<u64, Even<u64>, Id<bool>, Not>;impl ExPath for GeK<u64> type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>;impl ExPath for LtK<u64> type Lift = IfK<u64, EqK<u64>, Not, ()>;impl ExPath for GeK<u64, Even<u64>> type Lift = IfK<u64, EqK<u64>, Not, ()>;impl ExPath for GeK<u64, Odd<u64>> type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>;impl ExPath for LtK<u64, Even<u64>> type Lift = IfK<u64, EqK<u64>, Not, ()>;impl ExPath for LtK<u64, Odd<u64>> type Lift = IfK<u64, LtK<u64>, Not, ()>;impl ExPath for EqK<u64, Even<u64>> type Lift = IfK<u64, Even<u64>, (), Not>;impl ExPath for EqK<u64, Odd<u64>> type Lift = IfK<u64, Odd<u64>, (), Not>;impl ExPath for AddK<u64, Even<u64>> type Lift = If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>>;impl ExPath for AddK<u64, Odd<u64>> type Lift = If<GeK<u64>, IfK<u64, Odd<u64>, Even<u64>, Odd<u64>>, False1<u64>>;impl ExPath for If<GeK<u64>, IfK<u64, Even<u64>, Even<u64>, Odd<u64>>, False1<u64>> type Lift = IfK<u64, Even<u64>, (), Not>;impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, EqK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, Odd<u64>, Id<bool>, Not>, IfK<u64, Even<u64>, Id<bool>, Not>>;impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, EqK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, Even<u64>, Id<bool>, Not>, IfK<u64, Odd<u64>, Id<bool>, Not>>;impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, EqK<u64>> type Lift = IfK<u64, GeK<u64>, IfK<u64, Odd<u64>, Id<bool>, Not>, IfK<u64, Even<u64>, Id<bool>, Not>>;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, EqK<u64>> type Lift = IfK<u64, GeK<u64>, IfK<u64, Even<u64>, Id<bool>, Not>, IfK<u64, Odd<u64>, Id<bool>, Not>>;impl ExPath for Odd<u64, EqK<u64>> type Lift = IfK<u64, Odd<u64>, Id<bool>, Not>;impl ExPath for EqK<u64, EqK<u64>> type Lift = IfK<u64, EqK<u64>, Id<bool>, Not>;impl ExPath for LtK<u64, EqK<u64>> type Lift = IfK<u64, LtK<u64>, Id<bool>, Not>;impl ExPath for GeK<u64, EqK<u64>> type Lift = IfK<u64, GeK<u64>, Id<bool>, Not>;impl ExPath for AddK<u64, EqK<u64>> type Lift = EqK<u64>;impl ExPath for Even<u64, GeK<u64>> type Lift = IfK<u64, EqK<u64>, Not, ()>;impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, GeK<u64>> type Lift = IfK<u64, GeK<u64>, Not, ()>;impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, GeK<u64>> type Lift = IfK<u64, GeK<u64>, Not, ()>;impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, GeK<u64>> type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, GeK<u64>> type Lift = IfK<u64, EqK<u64>, Not, ()>;impl ExPath for Odd<u64, GeK<u64>> type Lift = IfK<u64, EqK<u64>, Id<bool>, ()>;impl ExPath for EqK<u64, GeK<u64>> type Lift = IfK<u64, LtK<u64>, Not, IfK<u64, EqK<u64>, IfK<u64, EqK<u64>, Id<bool>, ()>, ()>>;impl ExPath for LtK<u64, GeK<u64>> type Lift = IfK<u64, GeK<u64>, Not, IfK<u64, EqK<u64>, Not, ()>>;impl ExPath for GeK<u64, GeK<u64>> type Lift = IfK<u64, LtK<u64>, (), Id<bool>>;impl ExPath for AddK<u64, GeK<u64>> type Lift = GeK<u64>;impl ExPath for Even<u64, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, Id<bool>>, ()>;impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>;impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <LtK<u64> as ExPath>::Lift>, ()>;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, <GeK<u64> as ExPath>::Lift>, ()>;impl ExPath for Odd<u64, LtK<u64>> type Lift = IfK<u64, LtK<u64>, IfK<u64, EqK<u64>, False1<bool>, Not>, ()>;impl ExPath for EqK<u64, LtK<u64>> type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, GeK<u64>, Not, ()>>;impl ExPath for LtK<u64, LtK<u64>> type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, EqK<u64>, Not, IfK<u64, GeK<u64>, Id<bool>, ()>>>;impl ExPath for GeK<u64, LtK<u64>> type Lift = IfK<u64, EqK<u64>, False1<bool>, IfK<u64, EqK<u64>, Id<bool>, ()>>;impl ExPath for AddK<u64, LtK<u64>> type Lift = IfK<u64, EqK<u64>, False1<u64>, If<GeK<u64>, LtK<u64>, False1<u64>>>;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Even<u64>> type Lift = <GeK<u64> as ExPath>::Lift;impl ExPath for If<GeK<u64>, Even<u64>, Odd<u64>, Odd<u64>> type Lift = <LtK<u64> as ExPath>::Lift;impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Even<u64>> type Lift = <LtK<u64> as ExPath>::Lift;impl ExPath for If<GeK<u64>, Odd<u64>, Even<u64>, Odd<u64>> type Lift = <GeK<u64> as ExPath>::Lift;impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Even<u64>> type Lift = <LtK<u64> as ExPath>::Lift;impl ExPath for If<LtK<u64>, Even<u64>, Odd<u64>, Odd<u64>> type Lift = <GeK<u64> as ExPath>::Lift;impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Even<u64>> type Lift = <GeK<u64> as ExPath>::Lift;impl ExPath for If<LtK<u64>, Odd<u64>, Even<u64>, Odd<u64>> type Lift = <LtK<u64> as ExPath>::Lift;impl ExPath for () type Lift = Id<bool>;impl<C, T, I: Clone> ExPath for If<C, T, T, I> where
T: Constrain<I>,
T::Lift: ExPath, type Lift = <<T as Constrain<I>>::Lift as ExPath>::Lift;impl<T: Clone, C: Clone, A: ExPath, B: ExPath> ExPath for IfK<T, C, A, B> type Lift = IfK<T, C, A::Lift, B::Lift>;impl ExPath for Not type Lift = ();impl ExPath for Not<Not> type Lift = Id<bool>;impl ExPath for Not<Id<bool>> type Lift = Not;impl ExPath for Not<(Not, ())> type Lift = (<Not<Not> as ExPath>::Lift, <Not<()> as ExPath>::Lift);impl ExPath for Not<((), Not)> type Lift = (<Not<()> as ExPath>::Lift, <Not<Not> as ExPath>::Lift);impl ExPath for Not<(Not, Not)> type Lift = (<Not<Not> as ExPath>::Lift, <Not<Not> as ExPath>::Lift);impl ExPath for Not<(Not, Id<bool>)> type Lift = (<Not<Not> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift);impl ExPath for Not<(Id<bool>, Not)> type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Not> as ExPath>::Lift);impl ExPath for Not<(Id<bool>, Id<bool>)> type Lift = (<Not<Id<bool>> as ExPath>::Lift, <Not<Id<bool>> as ExPath>::Lift);impl ExPath for Not<((), ())> type Lift = (<Not<()> as ExPath>::Lift, <Not<()> as ExPath>::Lift);impl<T> ExPath for Id<T> type Lift = ();impl ExPath for Id<bool, Not> type Lift = Not;impl<T, U> ExPath for False1<T, U> type Lift = Not;impl ExPath for And type Lift = ();impl ExPath for And<((), ())> type Lift = (<And<()> as ExPath>::Lift, <And<()> as ExPath>::Lift);impl ExPath for And<Not> type Lift = Not;impl ExPath for And<Id<bool>> type Lift = Id<bool>;impl ExPath for And<(Not, ())> type Lift = Not;impl ExPath for And<((), Not)> type Lift = Not;impl ExPath for And<(Not, Not)> type Lift = Not;impl ExPath for And<(Id<bool>, ())> type Lift = ();impl ExPath for And<((), Id<bool>)> type Lift = ();impl ExPath for And<(Id<bool>, Id<bool>)> type Lift = Id<bool>;impl ExPath for And<(Not, Id<bool>)> type Lift = Not;impl ExPath for And<(Id<bool>, Not)> type Lift = Not;impl ExPath for Or type Lift = ();impl ExPath for Or<((), ())> type Lift = (<Or<()> as ExPath>::Lift, <Or<()> as ExPath>::Lift);impl ExPath for Or<Not> type Lift = Not;impl ExPath for Or<Id<bool>> type Lift = Id<bool>;impl ExPath for Or<(Not, ())> type Lift = ();impl ExPath for Or<((), Not)> type Lift = ();impl ExPath for Or<(Not, Not)> type Lift = Not;impl ExPath for Or<(Id<bool>, ())> type Lift = Id<bool>;impl ExPath for Or<((), Id<bool>)> type Lift = Id<bool>;impl ExPath for Or<(Id<bool>, Id<bool>)> type Lift = Id<bool>;impl ExPath for Or<(Not, Id<bool>)> type Lift = Id<bool>;impl ExPath for Or<(Id<bool>, Not)> type Lift = Id<bool>;impl<T> ExPath for Eq<T> type Lift = ();impl ExPath for Eq<bool, ((), ())> type Lift = (<Eq<bool, ()> as ExPath>::Lift, <Eq<bool, ()> as ExPath>::Lift);impl ExPath for Eq<bool, Not> type Lift = Id<bool>;impl ExPath for Eq<bool, Id<bool>> type Lift = Id<bool>;impl ExPath for Eq<bool, (Not, ())> type Lift = ();impl ExPath for Eq<bool, ((), Not)> type Lift = ();impl ExPath for Eq<bool, (Not, Not)> type Lift = Id<bool>;impl ExPath for Eq<bool, (Id<bool>, ())> type Lift = ();impl ExPath for Eq<bool, ((), Id<bool>)> type Lift = ();impl ExPath for Eq<bool, (Id<bool>, Id<bool>)> type Lift = Id<bool>;impl ExPath for Eq<bool, (Not, Id<bool>)> type Lift = Not;impl ExPath for Eq<bool, (Id<bool>, Not)> type Lift = Not;impl<T> ExPath for EqK<T> type Lift = ();impl ExPath for Xor type Lift = ();impl ExPath for Xor<((), ())> type Lift = (<Xor<()> as ExPath>::Lift, <Xor<()> as ExPath>::Lift);impl ExPath for Xor<Id<bool>> type Lift = Not;impl ExPath for Xor<Not> type Lift = Not;impl ExPath for Xor<(Not, ())> type Lift = ();impl ExPath for Xor<((), Not)> type Lift = ();impl ExPath for Xor<(Not, Not)> type Lift = Not;impl ExPath for Xor<(Id<bool>, ())> type Lift = ();impl ExPath for Xor<((), Id<bool>)> type Lift = ();impl ExPath for Xor<(Id<bool>, Id<bool>)> type Lift = Not;impl ExPath for Xor<(Not, Id<bool>)> type Lift = Id<bool>;impl ExPath for Xor<(Id<bool>, Not)> type Lift = Id<bool>;impl ExPath for Nand type Lift = ();impl ExPath for Nand<((), ())> type Lift = (<Nand<()> as ExPath>::Lift, <Nand<()> as ExPath>::Lift);impl ExPath for Nand<Not> type Lift = Id<bool>;impl ExPath for Nand<Id<bool>> type Lift = Not;impl ExPath for Nand<((), Not)> type Lift = Id<bool>;impl ExPath for Nand<(Not, ())> type Lift = Id<bool>;impl ExPath for Nand<(Not, Not)> type Lift = Id<bool>;impl ExPath for Nand<(Id<bool>, ())> type Lift = ();impl ExPath for Nand<((), Id<bool>)> type Lift = ();impl ExPath for Nand<(Id<bool>, Id<bool>)> type Lift = Not;impl ExPath for Nand<(Not, Id<bool>)> type Lift = Id<bool>;impl ExPath for Nand<(Id<bool>, Not)> type Lift = Id<bool>;impl ExPath for Nor type Lift = ();impl ExPath for Nor<((), ())> type Lift = ();impl ExPath for Nor<Not> type Lift = Id<bool>;impl ExPath for Nor<(Not, ())> type Lift = ();impl ExPath for Nor<((), Not)> type Lift = ();impl ExPath for Nor<(Not, Not)> type Lift = Id<bool>;impl ExPath for Nor<(Id<bool>, ())> type Lift = Not;impl ExPath for Nor<((), Id<bool>)> type Lift = Not;impl ExPath for Nor<Id<bool>> type Lift = Not;impl ExPath for Nor<(Id<bool>, Id<bool>)> type Lift = Not;impl ExPath for Nor<(Not, Id<bool>)> type Lift = Not;impl ExPath for Nor<(Id<bool>, Not)> type Lift = Not;impl ExPath for Exc type Lift = ();impl ExPath for Exc<((), ())> type Lift = ();impl ExPath for Exc<Not> type Lift = Not;impl ExPath for Exc<(Not, ())> type Lift = Not;impl ExPath for Exc<((), Not)> type Lift = ();impl ExPath for Exc<(Not, Not)> type Lift = Not;impl ExPath for Exc<(Id<bool>, ())> type Lift = ();impl ExPath for Exc<((), Id<bool>)> type Lift = Not;impl ExPath for Exc<Id<bool>> type Lift = Not;impl ExPath for Exc<(Id<bool>, Id<bool>)> type Lift = Not;impl ExPath for Exc<(Not, Id<bool>)> type Lift = Not;impl ExPath for Exc<(Id<bool>, Not)> type Lift = Id<bool>;impl ExPath for Nrexc type Lift = ();impl ExPath for Nrexc<((), ())> type Lift = ();impl ExPath for Nrexc<Not> type Lift = Id<bool>;impl ExPath for Nrexc<(Not, ())> type Lift = ();impl ExPath for Nrexc<((), Not)> type Lift = Id<bool>;impl ExPath for Nrexc<(Not, Not)> type Lift = Id<bool>;impl ExPath for Nrexc<(Id<bool>, ())> type Lift = Id<bool>;impl ExPath for Nrexc<((), Id<bool>)> type Lift = ();impl ExPath for Nrexc<(Id<bool>, Id<bool>)> type Lift = Id<bool>;impl ExPath for Nrexc<Id<bool>> type Lift = Id<bool>;impl ExPath for Nrexc<(Not, Id<bool>)> type Lift = Not;impl ExPath for Nrexc<(Id<bool>, Not)> type Lift = Id<bool>;impl ExPath for Rexc type Lift = ();impl ExPath for Rexc<Not> type Lift = Not;impl ExPath for Rexc<((), ())> type Lift = ();impl ExPath for Rexc<((), Not)> type Lift = Not;impl ExPath for Rexc<(Not, ())> type Lift = ();impl ExPath for Rexc<Id<bool>> type Lift = Not;impl ExPath for Rexc<(Id<bool>, Id<bool>)> type Lift = Not;impl ExPath for Rexc<(Not, Not)> type Lift = Not;impl ExPath for Rexc<((), Id<bool>)> type Lift = ();impl ExPath for Rexc<(Id<bool>, ())> type Lift = Not;impl ExPath for Rexc<(Not, Id<bool>)> type Lift = Id<bool>;impl ExPath for Rexc<(Id<bool>, Not)> type Lift = Not;impl ExPath for Nexc type Lift = ();impl ExPath for Nexc<Not> type Lift = Id<bool>;impl ExPath for Nexc<(Not, ())> type Lift = Id<bool>;impl ExPath for Nexc<((), Not)> type Lift = ();impl ExPath for Nexc<((), ())> type Lift = ();impl ExPath for Nexc<(Not, Not)> type Lift = Id<bool>;impl ExPath for Nexc<Id<bool>> type Lift = Id<bool>;impl ExPath for Nexc<(Id<bool>, Id<bool>)> type Lift = Id<bool>;impl ExPath for Nexc<(Id<bool>, ())> type Lift = ();impl ExPath for Nexc<((), Id<bool>)> type Lift = Id<bool>;impl ExPath for Nexc<(Not, Id<bool>)> type Lift = Id<bool>;impl ExPath for Nexc<(Id<bool>, Not)> type Lift = Not;impl<T> ExPath for Add<T> type Lift = ();impl<T> ExPath for Even<T> type Lift = ();impl<T> ExPath for Even<T, Even<T>> type Lift = Id<bool>;impl<T> ExPath for Even<T, Odd<T>> type Lift = Not;impl<T: Clone> ExPath for Even<T, (Even<T>, Odd<T>)> type Lift = (<Even<T, Even<T>> as ExPath>::Lift, <Even<T, Odd<T>> as ExPath>::Lift);impl<T: Clone> ExPath for Even<T, (Odd<T>, Even<T>)> type Lift = (<Even<T, Odd<T>> as ExPath>::Lift, <Even<T, Even<T>> as ExPath>::Lift);impl<T: Clone> ExPath for Even<T, (Even<T>, Even<T>)> type Lift = (<Even<T, Even<T>> as ExPath>::Lift, <Even<T, Even<T>> as ExPath>::Lift);impl<T: Clone> ExPath for Even<T, (Odd<T>, Odd<T>)> type Lift = (<Even<T, Odd<T>> as ExPath>::Lift, <Even<T, Odd<T>> as ExPath>::Lift);impl<T> ExPath for Odd<T> type Lift = ();impl<T> ExPath for Odd<T, Odd<T>> type Lift = Id<bool>;impl<T> ExPath for Odd<T, Even<T>> type Lift = Not;impl ExPath for Add<u8, (Even<u8>, Odd<u8>)> type Lift = Odd<u8>;impl ExPath for Add<u8, (Odd<u8>, Even<u8>)> type Lift = Odd<u8>;impl ExPath for Add<u8, (Even<u8>, Even<u8>)> type Lift = Even<u8>;impl ExPath for Add<u8, (Odd<u8>, Odd<u8>)> type Lift = If<LtK<u8>, False1<u8>, Even<u8>>;impl ExPath for Add<u16, (Even<u16>, Odd<u16>)> type Lift = Odd<u16>;impl ExPath for Add<u16, (Odd<u16>, Even<u16>)> type Lift = Odd<u16>;impl ExPath for Add<u16, (Even<u16>, Even<u16>)> type Lift = Even<u16>;impl ExPath for Add<u16, (Odd<u16>, Odd<u16>)> type Lift = If<LtK<u16>, False1<u16>, Even<u16>>;impl ExPath for Add<u32, (Even<u32>, Odd<u32>)> type Lift = Odd<u32>;impl ExPath for Add<u32, (Odd<u32>, Even<u32>)> type Lift = Odd<u32>;impl ExPath for Add<u32, (Even<u32>, Even<u32>)> type Lift = Even<u32>;impl ExPath for Add<u32, (Odd<u32>, Odd<u32>)> type Lift = If<LtK<u32>, False1<u32>, Even<u32>>;impl ExPath for Add<u64, (Even<u64>, Odd<u64>)> type Lift = Odd<u64>;impl ExPath for Add<u64, (Odd<u64>, Even<u64>)> type Lift = Odd<u64>;impl ExPath for Add<u64, (Even<u64>, Even<u64>)> type Lift = Even<u64>;impl ExPath for Add<u64, (Odd<u64>, Odd<u64>)> type Lift = If<LtK<u64>, False1<u64>, Even<u64>>;