[Main]
Name=CESI_Callback_t
Type=Type
Subtype=Pointer
Header Files=estack.h
Definition=typedef CALLBACK unsigned short (*CESI_Callback_t) (CESI);

[Description]
Represents a pointer to a CESI callback function.

[Explanation]
CESI_Callback_t is a pointer to a function taking a <A HREF="$$LINK(CESI)">CESI</A>
(expression stack index with constant data) as a parameter and returning an integer.
It is used in <A HREF="$$LINK(all_tail)">all_tail</A> and <A HREF="$$LINK(any_tail)">any_tail</A>.
