Data.Consensus_transition
module Value : sig ... end
include Snark_params.Tick.Snarkable.S with type value := Value.t
type var
val typ : ( var, Value.t ) Crypto_params.Tick.Typ.t
val genesis : Value.t