mk-vector : (Type<t>, capacity: U64) -> Vector<t> .push : (Vector<t>, t) -> Vector<t> .pop : Vector<t> -> t .to-vector : List<t> -> Vector<t> [] : (Vector<t>, U64) -> t set[] : (Vector<t>, U64, t) -> Nil + : (Vector<t>, Vector<t>) -> Vector<t> .sort : Vector<t> -> Vector<t> .unique : Vector<t> -> Vector<t> print : Vector<t> -> Nil .to-string : Vector<t> -> String