sem/hm.h

   1 #ifndef SEM_HM_C
   2 #define SEM_HM_C
   3
   4 #include "../ast.h"
   5
   6 struct scheme {
   7         struct type *type;
   8         int nvar;
   9         char **var;
  10 };
  11
  12 struct substitution {
  13         int nvar;
  14         char **vars;
  15         struct type **types;
  16 };
  17
  18 struct ast *infer(struct ast *ast);
  19
  20 #endif