Open Seasawher opened 2 days ago
自前で定義した型について #guard を使用しようとすると,DecidableEq のインスタンスがないのでエラーになる
#guard
DecidableEq
自前で定義した型について
#guard
を使用しようとすると,DecidableEq
のインスタンスがないのでエラーになる