shttpd/lex/nat-uphex.c

// SPDX-License-Identifier: GPL-2.0 or GPL-3.0
// Copyright © 2019 Ariadne Devos

// Integer model: wrap-around
// Proof status: auto

#define X_p uphex_p
#define X_num_p uphex_num_p
#define X_val uphex_val
#define X_num_val uphex_num_val
#define X_base 16
#define sHT_X_val sHT_uphex_val
#define sHT_X_base 16
#define sHT_X_given_X_num_p sHT_uphex_given_uphex_num_p
#define sHT_X_num_p_less sHT_uphex_num_p_less
#define sHT_X_num_val_less_lt sHT_uphex_num_val_less_lt
#define sHT_X_to_u32 sHT_uphex_to_u32
#include "nat-generic.c"