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