implemented hash consing with 2 weak tables

1 job for hashcons in 10 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
failed #4399
build

00:00:10

 
Name Stage Failure
failed
build Test
       does not match the interface src/term.cmi:
The value `syntactic_equal' is required but not provided
File "src/term.mli", line 236, characters 0-63: Expected declaration
The value `term_free_variables' is required but not provided
File "src/term.mli", line 37, characters 0-80: Expected declaration
Command exited with code 2.
Makefile:9 : la recette pour la cible « native » a échouée
make: *** [native] Erreur 10
ERROR: Job failed: exit status 1