pub fn end(i: Item) -> Type