sem/hm.h

   1 #ifndef SEM_HM_C
   2 #define SEM_HM_C
   3
   4 #include "../ast.h"
   5 #include "hm/gamma.h"
   6 #include "hm/subst.h"
   7 #include "hm/scheme.h"
   8
   9 struct ast *infer(struct ast *ast);
  10 struct subst *infer_expr(struct gamma *gamma, struct expr *expr, struct type *type);
  11
  12 #endif