pub type D1232s1100 = D1232<1100>;
#[repr(transparent)]pub struct D1232s1100(pub Int<64>);
0: Int<64>