val write_ticketContents12_master_secret : LP.leaf_writer_strong ticketContents12_master_secret_serializer
val write_ticketContents12_master_secret : LP.leaf_writer_strong ticketContents12_master_secret_serializer
let write_ticketContents12_master_secret = 
  LP.write_flbytes 48ul
module MiTLS.Parsers.TicketContents12_master_secret.Low
open MiTLS
open MiTLS.Parsers.TicketContents12_master_secret

friend MiTLS.Parsers.TicketContents12_master_secret

module LP = LowParse.Low
/
prims.fst.checked MiTLS.Parsers.TicketContents12_master_secret.fst.checked MiTLS.Parsers.TicketContents12_master_secret.fst.checked LowParse.Low.fst.checked FStar.UInt32.fsti.checked FStar.Pervasives.fsti.checked
MiTLS.Parsers.TicketContents12_master_secret.Low.fst
LowParse.Low.Base.leaf_writer_strong MiTLS.Parsers.TicketContents12_master_secret.ticketContents12_master_secret_serializer

LowParse.Low.Bytes.write_flbytes FStar.UInt32.__uint_to_t
let write_ticketContents12_master_secret =
  
LP.write_flbytes 48ul