1    private@
2    
3    type Iterator @c =
4        def (+) (rhs : i32) : Iterator
5    
6    public@
7    
8    type List<T> "std::vector" =
9        def size : u64
10       fun get (i : i32) : T
11   
12       def add "push_back" (x : T)
13       let erase (iterator : Iterator) : Iterator
14       let begin () : Iterator
15   
16       def remove_at (i : i32) =
17           erase (begin + i) |> ignore
18