val store_size (vc: verifier_config) : nat
val store_size (vc: verifier_config) : nat
let store_size (vc: verifier_config): nat =
  VConfig?.store_size vc
module Zeta.Intermediate.VerifierConfig

open Zeta.App

noeq
type verifier_config =
  | VConfig: store_size: pos ->
             app: app_params ->
             thread_count: pos ->
             verifier_config
/
Zeta.App.fsti.checked prims.fst.checked FStar.Pervasives.fsti.checked
Zeta.Intermediate.VerifierConfig.fsti
vc: Zeta.Intermediate.VerifierConfig.verifier_config -> Prims.nat
Zeta.Intermediate.VerifierConfig.verifier_config Zeta.Intermediate.VerifierConfig.__proj__VConfig__item__store_size Prims.nat
let store_size (vc: verifier_config) : nat =
  
VConfig?.store_size vc