2023-01-22 表現可能と文字列化可能 Lean tips ハマリ所 #eval で値〈要素〉を表示するには、型が型クラス Repr の型インスタンスでなくてはならない。文字列化できるためには、型が型クラス ToStrng の型インスタンスでなくてはならない。