Avatar
omochimetaru 1/30/2018 7:13 AM
transitiveの引数部分に
7:13 AM
func transitive<S,T,R>(s:S.Type = S.self, t:T.Type = T.self ,r:R.Type = R.self) -> (Eq<S,T>) -> (Eq<T,R>) -> Eq<R,S>
7:13 AM
こうやって、デフォルト引数を入れてやって
7:13 AM
いければいける、いけないといけないです
7:14 AM
少なくとも現状の定義だと絶対に明示せねばならないので。