val parser_log_entry:parser spec_parser_log_entry
val parser_log_entry:parser spec_parser_log_entry
let parser_log_entry : parser spec_parser_log_entry = zeta__parser_log_entry
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
/
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.parser Zeta.Steel.LogEntry.Spec.spec_parser_log_entry
Zeta.Steel.LogEntry.zeta__parser_log_entry
let parser_log_entry:parser spec_parser_log_entry =
  
zeta__parser_log_entry