// Fichier : lparser-code.c
// Type    : C 
// Contient: code additionnel pour parser de lambda-termes
// ----------------------------------------------------------------------
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <strings.h>

// Définitions de types 
#include "lparser-code.h"

// ----------------------------------------------------------------------
// Construction et manipulation de l'arbre syntaxique

noeud * cree_n(int type, int val, noeud * fg, noeud * fd)
{
  noeud * x = (noeud *) malloc (sizeof(noeud)) ;
  if (x == (noeud *)NULL) exit(-1) ; 
  x->type = type ;
  x->val = val ;
  x->fg = fg ; 
  x->fd = fd ; 
  return x ;
}