Up
–
Index
»
tezos-protocol-013-PtJakart
» Tezos_protocol_013_PtJakart_parameters
Module
Tezos_protocol_013_PtJakart_parameters
module
Default_parameters
:
sig
...
end