loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

stack.h (208B)

      1 #include <stdbool.h>
      2 
      3 typedef struct stack stack;
      4 
      5 stack* new_stack(void);
      6 
      7 void* pop      (stack*        );
      8 void* peek     (stack*        );
      9 void  push     (stack*, void* );
     10 bool  is_empty (stack*        );