loa

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

symbol.h (170B)

      1 #include <stdlib.h>
      2 
      3 typedef size_t symbol;
      4 
      5 /* Guarantees:
      6    - strcmp(repr(intern(s)), s) == 0
      7    - intern(repr(s)) == s
      8  */
      9 
     10 symbol intern(char*);
     11 char* repr(symbol);