Open kmyk opened 2 years ago
いまは ModPlus: int -> int -> int -> int みたいな int の関数を用意して頑張ってるけど、これを ModPlus: forall n. mint<n> -> mint<n> -> mint<n> という型にしたい
ModPlus: int -> int -> int -> int
ModPlus: forall n. mint<n> -> mint<n> -> mint<n>
atcoder::convolution
Description / 説明
いまは
ModPlus: int -> int -> int -> int
みたいな int の関数を用意して頑張ってるけど、これをModPlus: forall n. mint<n> -> mint<n> -> mint<n>
という型にしたいMotivation / 動機
atcoder::convolution
とかが使えるようになる (#99)