val parse: pinverse_t alertBytes
val parse: pinverse_t alertBytes
let parse x = 
  LowParseWrappers.wrap_parser32_constant_length 
    alert_serializer32 2 () alert_parser32
    "" //(perror __SOURCE_FILE__ __LINE__ "")
    x
module MiTLS.Alert
open MiTLS

open FStar.Heap
open FStar.Seq
open FStar.Error
open FStar.Bytes

open MiTLS.TLSError
open MiTLS.TLSConstants
open MiTLS.TLSInfo
module Parse = MiTLS.Parse
open MiTLS.Parse
open MiTLS.Mem

module Range = MiTLS.Range
open MiTLS.Range

//16-05-29 not much protocol left; consider merging with TLSError

(* Conversions *)

val alertBytes: alert -> Tot (lbytes 2)
let alertBytes = 
  LowParseWrappers.wrap_serializer32_constant_length alert_serializer32 2 ()

val parse: pinverse_t alertBytes
/
prims.fst.checked MiTLS.TLSInfo.fst.checked MiTLS.TLSError.fst.checked MiTLS.TLSConstants.fsti.checked MiTLS.Range.fst.checked MiTLS.Parse.fst.checked MiTLS.Mem.fst.checked MiTLS.LowParseWrappers.fst.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked FStar.Heap.fst.checked FStar.Error.fst.checked FStar.Bytes.fsti.checked
MiTLS.Alert.fst
MiTLS.Parse.pinverse_t MiTLS.Alert.alertBytes
FStar.Bytes.lbytes MiTLS.LowParseWrappers.wrap_parser32_constant_length MiTLS.Parsers.Alert.alert_parser_kind MiTLS.Parsers.Alert.alert MiTLS.Parsers.Alert.alert_parser MiTLS.Parsers.Alert.alert_serializer MiTLS.Parsers.Alert.alert_serializer32 MiTLS.Parsers.Alert.alert_parser32 MiTLS.TLSError.result
let parse x =
  
LowParseWrappers.wrap_parser32_constant_length alert_serializer32 2 () alert_parser32 "" x