pub fn ty<T: Into<Ty>>(self, ty: T) -> Builtin {
        assert!(self.ty.is_none());
        Builtin {
            ty: Some(ty.into()),
            ..self
        }
    }
/// Assign a type to the builtin.
///
/// Panics if the builtin already has a type.
Assign a type to the builtin.
Panics if the builtin already has a type.
Assign a type to the builtin . Panics if the builtin already has a type .
pub fn ty<T: Into<Ty>>(self, ty: T) -> Builtin {
        assert!(self.ty.is_none());
        Builtin {
            ty: Some(ty.into()),
            ..self
        }
    }
pub fn ty < T : Into < Ty > > ( self , ty : T ) -> Builtin { assert ! ( self ty is_none ( ) ) ; Builtin { ty : Some ( ty . into ( ) ) , .. self } }
Assign a type to the builtin.
Assign a type to the builtin .
self
ty
T
self
ty
T