Up
–
zprize
»
Zprize_ntt
»
For_vitis
»
Make
»
Four_step
»
O
» All
Module
O.All
Parameters
Signature
Parameters
module
M
:
Base
.Monad.S
Signature
val
all :
'a
M
.t
t
->
'a
t
M
.t