Bonjour,

Lors de la compilation du module EnvCoreList, j'ai l'erreur suivante :

Error: Signature mismatch:
       Modules do not match:
         sig
           type value = int
           type variable = string
           type 'a environment = (variable * value) list
           exception Unbound_variable of variable
           exception Incompatible_environments of variable
           val empty : 'a list
           val unbind : 'a -> ('a * 'b) list -> ('a * 'b) list
           val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list
           val is_bound : 'a -> ('a * 'b) list -> bool
           val lookup : variable -> (variable * 'a) list -> 'a
           val var_list : ('a * 'b) list -> 'a list
         end
       is not included in
         ENV_CORE
       Values do not match:
         val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list
       is not included in
         val bind : variable -> 'a -> 'a environment -> 'a environment

ceci est du à quoi?