#ifndef CX_ZIVUOS_MODELS_H_INCLUDED 
#define CX_ZIVUOS_MODELS_H_INCLUDED 

#include <stddef.h>
#include <stdint.h>
#include <stdbool.h>

#include "state.h"

typedef size_t zv_size_t;
typedef int32_t zv_number_t;
typedef uint32_t zv_unumber_t;
typedef uint32_t zv_tick_t;
typedef uint16_t zv_pid_t;

#define ZV_ERROR_PID 0

typedef enum zv_readiness_e {
    ZV_NON_READY = 0,
    ZV_READY = 1
} zv_readiness_t;

typedef zv_readiness_t (*zv_updater_t)(void *, void *);
typedef zv_state_t (*zv_worker_t)(void *, void *); 

typedef union zv_universal_param_u {
    intptr_t number;
    uintptr_t unumber;
    void *pointer;
} zv_universal_param_t;

typedef union zv_restorer_u {
    zv_tick_t time;
    zv_updater_t updater;
} zv_restorer_t;

#endif