val bytes : Type0
let bytes = FStar.Seq.seq U8.t
module Zeta.Steel.ApplicationTypes
(**
 * This interface will be instantiated by each Zeta application
 * It requires a
 *
 *    - Type of application-specific keys
 *    - Type of application-specific values
 *    - A serializer for keys and values
 *
 * Applications also need to provide a function to run each state
 * transition. See Zeta.Steel.Application for that.

 * This module provides only the types, so that which are in scope
 * everywhere in the Steel implementation of the Zete framework.
 **)
module A = Zeta.App
module P = Zeta.Steel.Parser
module U8 = FStar.UInt8
module U16 = FStar.UInt16
module U32 = FStar.UInt32
/
Zeta.Steel.Parser.fst.checked Zeta.App.fsti.checked prims.fst.checked FStar.UInt8.fsti.checked FStar.UInt32.fsti.checked FStar.UInt16.fsti.checked FStar.UInt.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.Map.fsti.checked
Zeta.Steel.ApplicationTypes.fsti
Type0
FStar.Seq.Base.seq FStar.UInt8.t
let bytes =
  
FStar.Seq.seq U8.t