haal-models-0.1.0.0: src/Haal/Models/DTLS/OpensslV1V1V1bAllCertNoneNreq.hs
-- Generated by haal-gen. Do not edit manually.
module Haal.Models.DTLS.OpensslV1V1V1bAllCertNoneNreq
( OpensslV1V1V1bAllCertNoneNreqInput (..)
, OpensslV1V1V1bAllCertNoneNreqOutput (..)
, opensslV1V1V1bAllCertNoneNreq
) where
import qualified Data.Set as Set
import Haal.Automaton.MealyAutomaton (MealyAutomaton, mkMealyAutomaton)
data OpensslV1V1V1bAllCertNoneNreqInput
= In_ECDH_CLIENT_HELLO
| In_ECDH_CLIENT_KEY_EXCHANGE
| In_DH_CLIENT_HELLO
| In_DH_CLIENT_KEY_EXCHANGE
| In_PSK_CLIENT_HELLO
| In_PSK_CLIENT_KEY_EXCHANGE
| In_RSA_CLIENT_HELLO
| In_RSA_CLIENT_KEY_EXCHANGE
| In_CHANGE_CIPHER_SPEC
| In_FINISHED
| In_APPLICATION
| In_CERTIFICATE
| In_EMPTY_CERTIFICATE
| In_CERTIFICATE_VERIFY
| In_Alert_WARNING_CLOSE_NOTIFY
| In_Alert_FATAL_UNEXPECTED_MESSAGE
deriving (Show, Eq, Ord, Enum, Bounded)
data OpensslV1V1V1bAllCertNoneNreqOutput
= Out_HELLO_VERIFY_REQUEST
| Out_Alert_FATAL_UNEXPECTED_MESSAGE
| Out_TIMEOUT
| Out_Alert_FATAL_INTERNAL_ERROR
| Out_SERVER_HELLO_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_SERVER_HELLO_DONE
| Out_SERVER_HELLO_CERTIFICATE_DHE_SERVER_KEY_EXCHANGE_SERVER_HELLO_DONE
| Out_SERVER_HELLO_SERVER_HELLO_DONE
| Out_SERVER_HELLO_CERTIFICATE_SERVER_HELLO_DONE
| Out_Alert_FATAL_DECODE_ERROR
| Out_Alert_FATAL_DECRYPT_ERROR
| Out_CHANGE_CIPHER_SPEC_FINISHED
deriving (Show, Eq, Ord, Enum, Bounded)
opensslV1V1V1bAllCertNoneNreq :: MealyAutomaton Int OpensslV1V1V1bAllCertNoneNreqInput OpensslV1V1V1bAllCertNoneNreqOutput
opensslV1V1V1bAllCertNoneNreq = mkMealyAutomaton delta lambda (Set.fromList [0..13]) 0
where
delta 0 In_ECDH_CLIENT_HELLO = 1
delta 0 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 0 In_DH_CLIENT_HELLO = 1
delta 0 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 0 In_PSK_CLIENT_HELLO = 1
delta 0 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 0 In_RSA_CLIENT_HELLO = 1
delta 0 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 0 In_CHANGE_CIPHER_SPEC = 3
delta 0 In_FINISHED = 2
delta 0 In_APPLICATION = 0
delta 0 In_CERTIFICATE = 2
delta 0 In_EMPTY_CERTIFICATE = 2
delta 0 In_CERTIFICATE_VERIFY = 2
delta 0 In_Alert_WARNING_CLOSE_NOTIFY = 0
delta 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = 0
delta 2 In_ECDH_CLIENT_HELLO = 2
delta 2 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 2 In_DH_CLIENT_HELLO = 2
delta 2 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 2 In_PSK_CLIENT_HELLO = 2
delta 2 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 2 In_RSA_CLIENT_HELLO = 2
delta 2 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 2 In_CHANGE_CIPHER_SPEC = 3
delta 2 In_FINISHED = 2
delta 2 In_APPLICATION = 2
delta 2 In_CERTIFICATE = 2
delta 2 In_EMPTY_CERTIFICATE = 2
delta 2 In_CERTIFICATE_VERIFY = 2
delta 2 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 1 In_ECDH_CLIENT_HELLO = 4
delta 1 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 1 In_DH_CLIENT_HELLO = 5
delta 1 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 1 In_PSK_CLIENT_HELLO = 6
delta 1 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 1 In_RSA_CLIENT_HELLO = 7
delta 1 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 1 In_CHANGE_CIPHER_SPEC = 3
delta 1 In_FINISHED = 2
delta 1 In_APPLICATION = 2
delta 1 In_CERTIFICATE = 2
delta 1 In_EMPTY_CERTIFICATE = 2
delta 1 In_CERTIFICATE_VERIFY = 2
delta 1 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 4 In_ECDH_CLIENT_HELLO = 2
delta 4 In_ECDH_CLIENT_KEY_EXCHANGE = 8
delta 4 In_DH_CLIENT_HELLO = 2
delta 4 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 4 In_PSK_CLIENT_HELLO = 2
delta 4 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 4 In_RSA_CLIENT_HELLO = 2
delta 4 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 4 In_CHANGE_CIPHER_SPEC = 3
delta 4 In_FINISHED = 2
delta 4 In_APPLICATION = 2
delta 4 In_CERTIFICATE = 2
delta 4 In_EMPTY_CERTIFICATE = 2
delta 4 In_CERTIFICATE_VERIFY = 2
delta 4 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 3 In_ECDH_CLIENT_HELLO = 3
delta 3 In_ECDH_CLIENT_KEY_EXCHANGE = 3
delta 3 In_DH_CLIENT_HELLO = 3
delta 3 In_DH_CLIENT_KEY_EXCHANGE = 3
delta 3 In_PSK_CLIENT_HELLO = 3
delta 3 In_PSK_CLIENT_KEY_EXCHANGE = 3
delta 3 In_RSA_CLIENT_HELLO = 3
delta 3 In_RSA_CLIENT_KEY_EXCHANGE = 3
delta 3 In_CHANGE_CIPHER_SPEC = 3
delta 3 In_FINISHED = 3
delta 3 In_APPLICATION = 3
delta 3 In_CERTIFICATE = 3
delta 3 In_EMPTY_CERTIFICATE = 3
delta 3 In_CERTIFICATE_VERIFY = 3
delta 3 In_Alert_WARNING_CLOSE_NOTIFY = 3
delta 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = 3
delta 5 In_ECDH_CLIENT_HELLO = 2
delta 5 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 5 In_DH_CLIENT_HELLO = 2
delta 5 In_DH_CLIENT_KEY_EXCHANGE = 8
delta 5 In_PSK_CLIENT_HELLO = 2
delta 5 In_PSK_CLIENT_KEY_EXCHANGE = 9
delta 5 In_RSA_CLIENT_HELLO = 2
delta 5 In_RSA_CLIENT_KEY_EXCHANGE = 9
delta 5 In_CHANGE_CIPHER_SPEC = 3
delta 5 In_FINISHED = 2
delta 5 In_APPLICATION = 2
delta 5 In_CERTIFICATE = 2
delta 5 In_EMPTY_CERTIFICATE = 2
delta 5 In_CERTIFICATE_VERIFY = 2
delta 5 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 8 In_ECDH_CLIENT_HELLO = 2
delta 8 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 8 In_DH_CLIENT_HELLO = 2
delta 8 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 8 In_PSK_CLIENT_HELLO = 2
delta 8 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 8 In_RSA_CLIENT_HELLO = 2
delta 8 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 8 In_CHANGE_CIPHER_SPEC = 10
delta 8 In_FINISHED = 2
delta 8 In_APPLICATION = 2
delta 8 In_CERTIFICATE = 2
delta 8 In_EMPTY_CERTIFICATE = 2
delta 8 In_CERTIFICATE_VERIFY = 2
delta 8 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 7 In_ECDH_CLIENT_HELLO = 2
delta 7 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 7 In_DH_CLIENT_HELLO = 2
delta 7 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 7 In_PSK_CLIENT_HELLO = 2
delta 7 In_PSK_CLIENT_KEY_EXCHANGE = 9
delta 7 In_RSA_CLIENT_HELLO = 2
delta 7 In_RSA_CLIENT_KEY_EXCHANGE = 8
delta 7 In_CHANGE_CIPHER_SPEC = 3
delta 7 In_FINISHED = 2
delta 7 In_APPLICATION = 2
delta 7 In_CERTIFICATE = 2
delta 7 In_EMPTY_CERTIFICATE = 2
delta 7 In_CERTIFICATE_VERIFY = 2
delta 7 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 6 In_ECDH_CLIENT_HELLO = 2
delta 6 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 6 In_DH_CLIENT_HELLO = 2
delta 6 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 6 In_PSK_CLIENT_HELLO = 2
delta 6 In_PSK_CLIENT_KEY_EXCHANGE = 8
delta 6 In_RSA_CLIENT_HELLO = 2
delta 6 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 6 In_CHANGE_CIPHER_SPEC = 3
delta 6 In_FINISHED = 2
delta 6 In_APPLICATION = 2
delta 6 In_CERTIFICATE = 2
delta 6 In_EMPTY_CERTIFICATE = 2
delta 6 In_CERTIFICATE_VERIFY = 2
delta 6 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 9 In_ECDH_CLIENT_HELLO = 2
delta 9 In_ECDH_CLIENT_KEY_EXCHANGE = 2
delta 9 In_DH_CLIENT_HELLO = 2
delta 9 In_DH_CLIENT_KEY_EXCHANGE = 2
delta 9 In_PSK_CLIENT_HELLO = 2
delta 9 In_PSK_CLIENT_KEY_EXCHANGE = 2
delta 9 In_RSA_CLIENT_HELLO = 2
delta 9 In_RSA_CLIENT_KEY_EXCHANGE = 2
delta 9 In_CHANGE_CIPHER_SPEC = 3
delta 9 In_FINISHED = 2
delta 9 In_APPLICATION = 2
delta 9 In_CERTIFICATE = 2
delta 9 In_EMPTY_CERTIFICATE = 2
delta 9 In_CERTIFICATE_VERIFY = 2
delta 9 In_Alert_WARNING_CLOSE_NOTIFY = 2
delta 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = 2
delta 10 In_ECDH_CLIENT_HELLO = 3
delta 10 In_ECDH_CLIENT_KEY_EXCHANGE = 3
delta 10 In_DH_CLIENT_HELLO = 3
delta 10 In_DH_CLIENT_KEY_EXCHANGE = 3
delta 10 In_PSK_CLIENT_HELLO = 3
delta 10 In_PSK_CLIENT_KEY_EXCHANGE = 3
delta 10 In_RSA_CLIENT_HELLO = 3
delta 10 In_RSA_CLIENT_KEY_EXCHANGE = 3
delta 10 In_CHANGE_CIPHER_SPEC = 3
delta 10 In_FINISHED = 11
delta 10 In_APPLICATION = 10
delta 10 In_CERTIFICATE = 3
delta 10 In_EMPTY_CERTIFICATE = 3
delta 10 In_CERTIFICATE_VERIFY = 3
delta 10 In_Alert_WARNING_CLOSE_NOTIFY = 12
delta 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = 12
delta 11 In_ECDH_CLIENT_HELLO = 13
delta 11 In_ECDH_CLIENT_KEY_EXCHANGE = 13
delta 11 In_DH_CLIENT_HELLO = 13
delta 11 In_DH_CLIENT_KEY_EXCHANGE = 13
delta 11 In_PSK_CLIENT_HELLO = 13
delta 11 In_PSK_CLIENT_KEY_EXCHANGE = 13
delta 11 In_RSA_CLIENT_HELLO = 13
delta 11 In_RSA_CLIENT_KEY_EXCHANGE = 13
delta 11 In_CHANGE_CIPHER_SPEC = 3
delta 11 In_FINISHED = 11
delta 11 In_APPLICATION = 11
delta 11 In_CERTIFICATE = 13
delta 11 In_EMPTY_CERTIFICATE = 13
delta 11 In_CERTIFICATE_VERIFY = 13
delta 11 In_Alert_WARNING_CLOSE_NOTIFY = 3
delta 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = 3
delta 13 In_ECDH_CLIENT_HELLO = 13
delta 13 In_ECDH_CLIENT_KEY_EXCHANGE = 13
delta 13 In_DH_CLIENT_HELLO = 13
delta 13 In_DH_CLIENT_KEY_EXCHANGE = 13
delta 13 In_PSK_CLIENT_HELLO = 13
delta 13 In_PSK_CLIENT_KEY_EXCHANGE = 13
delta 13 In_RSA_CLIENT_HELLO = 13
delta 13 In_RSA_CLIENT_KEY_EXCHANGE = 13
delta 13 In_CHANGE_CIPHER_SPEC = 3
delta 13 In_FINISHED = 13
delta 13 In_APPLICATION = 3
delta 13 In_CERTIFICATE = 13
delta 13 In_EMPTY_CERTIFICATE = 13
delta 13 In_CERTIFICATE_VERIFY = 13
delta 13 In_Alert_WARNING_CLOSE_NOTIFY = 3
delta 13 In_Alert_FATAL_UNEXPECTED_MESSAGE = 3
delta 12 In_ECDH_CLIENT_HELLO = 3
delta 12 In_ECDH_CLIENT_KEY_EXCHANGE = 3
delta 12 In_DH_CLIENT_HELLO = 3
delta 12 In_DH_CLIENT_KEY_EXCHANGE = 3
delta 12 In_PSK_CLIENT_HELLO = 3
delta 12 In_PSK_CLIENT_KEY_EXCHANGE = 3
delta 12 In_RSA_CLIENT_HELLO = 3
delta 12 In_RSA_CLIENT_KEY_EXCHANGE = 3
delta 12 In_CHANGE_CIPHER_SPEC = 3
delta 12 In_FINISHED = 3
delta 12 In_APPLICATION = 12
delta 12 In_CERTIFICATE = 3
delta 12 In_EMPTY_CERTIFICATE = 3
delta 12 In_CERTIFICATE_VERIFY = 3
delta 12 In_Alert_WARNING_CLOSE_NOTIFY = 12
delta 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = 12
delta _ _ = error "haal-gen: undefined transition"
lambda 0 In_ECDH_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
lambda 0 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_DH_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
lambda 0 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_PSK_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
lambda 0 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_RSA_CLIENT_HELLO = Out_HELLO_VERIFY_REQUEST
lambda 0 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 0 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 0 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 0 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 0 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 2 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 2 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 2 In_DH_CLIENT_HELLO = Out_TIMEOUT
lambda 2 In_DH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 2 In_PSK_CLIENT_HELLO = Out_TIMEOUT
lambda 2 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 2 In_RSA_CLIENT_HELLO = Out_TIMEOUT
lambda 2 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 2 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 2 In_FINISHED = Out_TIMEOUT
lambda 2 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 2 In_CERTIFICATE = Out_TIMEOUT
lambda 2 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 2 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 2 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 2 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 1 In_ECDH_CLIENT_HELLO = Out_SERVER_HELLO_CERTIFICATE_ECDHE_SERVER_KEY_EXCHANGE_SERVER_HELLO_DONE
lambda 1 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_DH_CLIENT_HELLO = Out_SERVER_HELLO_CERTIFICATE_DHE_SERVER_KEY_EXCHANGE_SERVER_HELLO_DONE
lambda 1 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_PSK_CLIENT_HELLO = Out_SERVER_HELLO_SERVER_HELLO_DONE
lambda 1 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_RSA_CLIENT_HELLO = Out_SERVER_HELLO_CERTIFICATE_SERVER_HELLO_DONE
lambda 1 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 1 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 1 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 1 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 1 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 4 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 4 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 4 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 4 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 4 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 4 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 4 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 4 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 4 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 3 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 3 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 3 In_DH_CLIENT_HELLO = Out_TIMEOUT
lambda 3 In_DH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 3 In_PSK_CLIENT_HELLO = Out_TIMEOUT
lambda 3 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 3 In_RSA_CLIENT_HELLO = Out_TIMEOUT
lambda 3 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 3 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 3 In_FINISHED = Out_TIMEOUT
lambda 3 In_APPLICATION = Out_TIMEOUT
lambda 3 In_CERTIFICATE = Out_TIMEOUT
lambda 3 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 3 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 3 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 3 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 5 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 5 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_DH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 5 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 5 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 5 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 5 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 5 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 5 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 5 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 8 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 8 In_FINISHED = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 8 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 8 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 7 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 7 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECRYPT_ERROR
lambda 7 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 7 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 7 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 7 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 7 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 7 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 7 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 6 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 6 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 6 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 6 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_DECODE_ERROR
lambda 6 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 6 In_FINISHED = Out_Alert_FATAL_INTERNAL_ERROR
lambda 6 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 6 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 6 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 9 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 9 In_FINISHED = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 9 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 9 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 10 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 10 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED
lambda 10 In_APPLICATION = Out_TIMEOUT
lambda 10 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 10 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 10 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 11 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 11 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 11 In_DH_CLIENT_HELLO = Out_TIMEOUT
lambda 11 In_DH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 11 In_PSK_CLIENT_HELLO = Out_TIMEOUT
lambda 11 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 11 In_RSA_CLIENT_HELLO = Out_TIMEOUT
lambda 11 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 11 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 11 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED
lambda 11 In_APPLICATION = Out_TIMEOUT
lambda 11 In_CERTIFICATE = Out_TIMEOUT
lambda 11 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 11 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 11 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 11 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 13 In_ECDH_CLIENT_HELLO = Out_TIMEOUT
lambda 13 In_ECDH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 13 In_DH_CLIENT_HELLO = Out_TIMEOUT
lambda 13 In_DH_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 13 In_PSK_CLIENT_HELLO = Out_TIMEOUT
lambda 13 In_PSK_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 13 In_RSA_CLIENT_HELLO = Out_TIMEOUT
lambda 13 In_RSA_CLIENT_KEY_EXCHANGE = Out_TIMEOUT
lambda 13 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 13 In_FINISHED = Out_TIMEOUT
lambda 13 In_APPLICATION = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 13 In_CERTIFICATE = Out_TIMEOUT
lambda 13 In_EMPTY_CERTIFICATE = Out_TIMEOUT
lambda 13 In_CERTIFICATE_VERIFY = Out_TIMEOUT
lambda 13 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 13 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda 12 In_ECDH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_ECDH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_DH_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_DH_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_PSK_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_PSK_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_RSA_CLIENT_HELLO = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_RSA_CLIENT_KEY_EXCHANGE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_CHANGE_CIPHER_SPEC = Out_TIMEOUT
lambda 12 In_FINISHED = Out_CHANGE_CIPHER_SPEC_FINISHED
lambda 12 In_APPLICATION = Out_TIMEOUT
lambda 12 In_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_EMPTY_CERTIFICATE = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_CERTIFICATE_VERIFY = Out_Alert_FATAL_UNEXPECTED_MESSAGE
lambda 12 In_Alert_WARNING_CLOSE_NOTIFY = Out_TIMEOUT
lambda 12 In_Alert_FATAL_UNEXPECTED_MESSAGE = Out_TIMEOUT
lambda _ _ = error "haal-gen: undefined transition"