val write_ticketContents12_master_secret : LP.leaf_writer_strong ticketContents12_master_secret_serializer
let write_ticketContents12_master_secret = 
  LP.write_flbytes 48ul
val write_ticketContents12_master_secret : LP.leaf_writer_strong ticketContents12_master_secret_serializer
let write_ticketContents12_master_secret =
LP.write_flbytes 48ul
Parsers.TicketContents12_master_secret.Low.fst.checked
prims.fst.checked Parsers.TicketContents12_master_secret.fst.checked Parsers.TicketContents12_master_secret.fst.checked LowParse.Low.fst.checked FStar.UInt32.fsti.checked FStar.Pervasives.fsti.checked
Parsers.TicketContents12_master_secret.Low.fst
LowParse.Low.Bytes.write_flbytes FStar.UInt32.__uint_to_t
module Parsers.TicketContents12_master_secret.Low
open Parsers.TicketContents12_master_secret

friend Parsers.TicketContents12_master_secret

module LP = LowParse.Low
val write_ticketContents12_master_secret : LP.leaf_writer_strong ticketContents12_master_secret_serializer
LowParse.Low.Base.leaf_writer_strong Parsers.TicketContents12_master_secret.ticketContents12_master_secret_serializer
