val serialize_stamped_record:serializer spec_serializer_stamped_record
val serialize_stamped_record:serializer spec_serializer_stamped_record
let serialize_stamped_record : serializer spec_serializer_stamped_record = zeta__serialize_stamped_record
module Zeta.Steel.LogEntry
include Zeta.Steel.LogEntry.Spec
open Zeta.Steel.Parser
module U32 = FStar.UInt32

val zeta__parser_log_entry : parser spec_parser_log_entry

inline_for_extraction
noextract
let parser_log_entry : parser spec_parser_log_entry = zeta__parser_log_entry

val zeta__serialize_stamped_record : serializer spec_serializer_stamped_record

inline_for_extraction
/
Zeta.Steel.Parser.fst.checked Zeta.Steel.LogEntry.Spec.fsti.checked prims.fst.checked FStar.UInt32.fsti.checked FStar.Pervasives.fsti.checked
Zeta.Steel.LogEntry.fsti
Zeta.Steel.Parser.serializer Zeta.Steel.LogEntry.Spec.spec_serializer_stamped_record
Zeta.Steel.LogEntry.zeta__serialize_stamped_record
let serialize_stamped_record:serializer spec_serializer_stamped_record =
  
zeta__serialize_stamped_record