Tezos_protocol_025_PsUshuai_parameters
module Default_parameters : sig ... end
Concrete constant values available for various test setups.
module Signature : sig ... end