RustのTraitから型を作る構文の一つ

コンパイル時に具体的な型が1つに決まる

引数と返り値の2種類ある

genericsみたいなやつ

存在型みたいなやつ

めっちゃわかりやすいまとめ方だ