1234567891011121314151617181920212223242526272829open!Coretypet=int[@@derivingsexp_of]letto_int=Fn.id(* See https://tools.ietf.org/html/rfc4120#section-7.5.1 and /usr/include/krb5/krb5.h *)letas_req_pa_enc_ts=1letkdc_rep_ticket=2letas_rep_encpart=3lettgs_req_ad_sesskey=4lettgs_req_ad_subkey=5lettgs_req_auth_cksum=6lettgs_req_auth=7lettgs_rep_encpart_sesskey=8lettgs_rep_encpart_subkey=9letap_req_auth_cksum=10letap_req_auth=11letap_rep_encpart=12letkrb_priv_encpart=13letkrb_cred_encpart=14letkrb_safe_cksum=15letapp_data_encrypt=16letapp_data_cksum=17letkrb_error_cksum=18letad_kdcissued_cksum=19letad_mte=20letad_ite=21