Module ctypes

Axiom int : Type.
Axiom int_zero : int.
Axiom int_succ : int -> int.
Axiom uint8_t : Type.
Axiom void_star : Type.

Axiom clock_src_t : Type.
Axiom clock_div_t : Type.
Axiom clock_src_init: clock_src_t.
Axiom clock_div_init: clock_div_t.


Axiom cc2500_cb_t : Type.