aster::ty
pub struct TyObjectSumBuilder<F> { /* fields omitted */ }
impl<F> Invoke<P<Ty>> for TyObjectSumBuilder<F> where F: Invoke<P<Ty>>
type Result = TyObjectSumTyBuilder<F>
fn invoke(self, ty: P<Ty>) -> Self::Result