Dkcheck and the Env module

[fthire]

Now that the type entry exists, why the function mk_entry of dkcheck is not in the module Env?

The benefit of this would be to avoid duplicating the code of dkcheck everytime you want to check terms via the kernel API.

[fthire]

#106