#ifndef PKE_SERIALIZATION_STATIC_UI_HPP
#define PKE_SERIALIZATION_STATIC_UI_HPP

#include "static-ui.hpp"
#include "serialization.hpp"

pk_handle pke_serialize_ui_box(srlztn_serialize_helper *h, pke_ui_box *box);
void pke_deserialize_ui_box(srlztn_deserialize_helper *h, pke_kve_container *kvec);

#endif /* PKE_SERIALIZATION_STATIC_UI_HPP */