代数密码类型 在我们定义 cipher functor 之前，需要先定义我们将要使用的代数结构。cipher functor 的定义……